Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan. Interaction categories and the foundations of typed concurrent programming. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 35-113, 1996.
No references recorded for this publication.
No citations of this publication recorded.