Skip to Main content Skip to Navigation
Conference papers

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

Jesus Aranda 1 Cinzia Di Giusto 2 Catuscia Palamidessi 1 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Catuscia Palamidessi <>
Submitted on : Friday, February 8, 2008 - 6:22:47 AM
Last modification on : Friday, October 30, 2020 - 12:04:02 PM
Long-term archiving on: : Thursday, September 27, 2012 - 5:49:51 PM


Files produced by the author(s)




Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. pp.185-206, ⟨10.1007/978-3-540-74792-5⟩. ⟨inria-00239497⟩



Record views


Files downloads