Sciweavers

ICALP
2004
Springer
13 years 10 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong