Skip to main content

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