A linear metalanguage for concurrency (1998)

by Glynn Winskel
Venue:In Proceedings of 7th AMAST, LNCS 1548