A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems
S. Abramsky‚ S. Gay and R. Nagarajan
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