Recursion vs Replication in Process Calculi: Expressiveness - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Bulletin- European Association for Theoretical Computer Science Année : 2005

Recursion vs Replication in Process Calculi: Expressiveness

Résumé

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.
Fichier principal
Vignette du fichier
recrep.pdf (194.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00201158 , version 1 (26-12-2007)

Identifiants

  • HAL Id : inria-00201158 , version 1

Citer

Catuscia Palamidessi, Frank D. Valencia. Recursion vs Replication in Process Calculi: Expressiveness. Bulletin- European Association for Theoretical Computer Science, 2005, 87, pp.105-125. ⟨inria-00201158⟩
169 Consultations
706 Téléchargements

Partager

More