On Recursion, Replication and Scope Mechanisms in Process Calculi

authors: 
J. Aranda, C. Di Giusto, C. Palamidessi and F. Valencia
reference: 
In FMCO 2006, volume 4709 of LNCS, pages 185-206, 2006
year: 
2006
resources: 
abstract: 
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 pi-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.