Interaction Categories and the Foundations of Typed Concurrent Programming
S. Abramsky‚ S. Gay and R. Nagarajan
Book Title
Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design
Editor
M. Broy
Pages
35−113
Publisher
Springer−Verlag
Year
1996