6 search results - page 1 / 2 » On the Expressive Power of Restriction and Priorities in CCS... |
71
Voted
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
75
Voted
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
CONCUR
2007
Springer
15 years 5 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
15 years 3 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...
100
click to vote
TAPSOFT
1991
Springer
15 years 3 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...