A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
S. Abramsky, S. Gay and R. Nagarajan
Details
| Book Title |
Theoretical Aspects of Computer Software |
| Editor |
M. Abadi and T. Ito |
| Pages |
295-320 |
| Publisher |
Springer-Verlag |
| Series |
Springer Lecture Notes in Computer Science |
| Volume |
1281 |
| Year |
1997 |
Links
Related pages
|
People |