Sciweavers

FMCO
2006
Springer

On Recursion, Replication and Scope Mechanisms in Process Calculi

14 years 3 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
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 Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We shall give evidence that the ability of expressing recursive behaviour via replication often depends on the scoping mechanisms of the given calculus which compensate for the restriction of replication.
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FMCO
Authors Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
Comments (0)