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

https://hal.inria.fr/inria-00239497
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

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

592

Files downloads

469