Syntactic Control of Concurrency.

Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong

Browse the full ICALP paper archive.