Deadlock analysis in networks of communicating processes
A. W. Roscoe and S.D. Brookes
Details
| Book Title |
Logics and Models of Concurrent Systems |
| Editor |
K.R. Apt |
| Pages |
305–324 |
| Publisher |
Springer |
| Series |
NATO ASI series F |
| Volume |
13 |
| Year |
1985 |
Links
Related pages
|
People |
|
|
Activities |