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