Interaction categories and typed concurrent programming (1994)

by S Abramsky, S Gay, R Nagarajan
Venue:In Proceedings of the 1994 Marktoberdorf Summer School