Recursion vs Replication in Process Calculi: Expressiveness

Catuscia Palamidessi 1 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Article dans une revue
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2005, 87, pp.105-125
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00201158
Contributeur : Catuscia Palamidessi <>
Soumis le : mercredi 26 décembre 2007 - 11:17:32
Dernière modification le : jeudi 10 mai 2018 - 02:06:18
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:25:23

Fichier

recrep.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

370

Téléchargements de fichiers

207