Skip to Main content Skip to Navigation
Journal articles

Recursion vs Replication in Process Calculi: Expressiveness

Catuscia Palamidessi 1 Frank D. Valencia 1 
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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, and the Ambient calculus. 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 :
Journal articles
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Wednesday, December 26, 2007 - 11:17:32 AM
Last modification on : Thursday, January 20, 2022 - 4:13:03 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:25:23 PM


Files produced by the author(s)


  • HAL Id : inria-00201158, version 1



Catuscia Palamidessi, Frank D. Valencia. Recursion vs Replication in Process Calculi: Expressiveness. Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2005, 87, pp.105-125. ⟨inria-00201158⟩



Record views


Files downloads