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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, 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, 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.
Type de document :
Communication dans un congrès
Frank S. de Boer and Marcello M. Bonsangue. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. Springer, 4709, pp.185-206, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74792-5〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00239497
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 8 février 2008 - 06:22:47
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 17:49:51

Fichier

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

Identifiants

Collections

Citation

Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. Frank S. de Boer and Marcello M. Bonsangue. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. Springer, 4709, pp.185-206, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74792-5〉. 〈inria-00239497〉

Partager

Métriques

Consultations de la notice

451

Téléchargements de fichiers

127