Skip to Main content Skip to Navigation
Journal articles

Recursion vs Replication in Process Calculi: Expressiveness

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, 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

https://hal.inria.fr/inria-00201158
Contributor : Catuscia Palamidessi <>
Submitted on : Wednesday, December 26, 2007 - 11:17:32 AM
Last modification on : Thursday, March 5, 2020 - 6:18:32 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:25:23 PM

File

recrep.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00201158, version 1

Collections

Citation

Catuscia Palamidessi, Frank 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⟩

Share

Metrics

Record views

452

Files downloads

623