Sciweavers

CONCUR
2007
Springer
13 years 11 months ago
On the Expressive Power of Global and Local Priority in Process Calculi
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
Cristian Versari, Nadia Busi, Roberto Gorrieri