Interaction categories and the foundations of typed concurrent programming (1996)

by S Abramsky, S Gay, R Nagarajan
Venue:Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design