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 |