On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Catuscia Palamidessi 1 Vijay Saraswat 2 Frank Valencia 1 Bjorn Victor 3
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 : We present an expressiveness study of linearity and persistence of processes. We choose the pi-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We consider four fragments of the pi-calculus. Each one singles out a natural source of linearity/ persistence also present in other frameworks such as Concurrent Constraint Programming (CCP), Linear CCP, and several calculi for security. The study is presented by providing (or proving the non-existence of) encodings among the fragments, a processes-as-formulae interpretation and a reduction from Minsky machines.
Type de document :
Communication dans un congrès
Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. IEEE Computer Society, pp.59-68, 2006, 〈10.1109/LICS.2006.39〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00201096
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 16:19:58
Dernière modification le : jeudi 12 avril 2018 - 01:45:37
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:26:56

Fichier

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

Identifiants

Collections

Citation

Catuscia Palamidessi, Vijay Saraswat, Frank Valencia, Bjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. IEEE Computer Society, pp.59-68, 2006, 〈10.1109/LICS.2006.39〉. 〈inria-00201096〉

Partager

Métriques

Consultations de la notice

294

Téléchargements de fichiers

136