C.-H.L.: Syntactic Control of Concurrency (2004)

by D Ghica, A Murawski, Ong
Venue:In: Proceedings of ICALP, LNCS