A Presheaf Semantics of Value-Passing Processes (1996)

by RS-96-44 Glynn Winskel
Venue:in Montanari and Sassone, editors, Concurrency Theory: 7th International Conference, CONCUR '96 Proceedings, LNCS 1119