Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi

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

Dates et versions

inria-00239497 , version 1 (08-02-2008)

Identifiants

Citer

Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. pp.185-206, ⟨10.1007/978-3-540-74792-5⟩. ⟨inria-00239497⟩
318 Consultations
380 Téléchargements

Altmetric

Partager

More