6 search results - page 1 / 2 » On the Expressive Power of Restriction and Priorities in CCS... |
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
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...
FMCO
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
TAPSOFT
1991
Springer
13 years 8 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...