Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Diletta Cacciagrano 1, * Flavio Corradini 1 Jesus Aranda 2, 3 Frank Valencia 2
* Auteur correspondant
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : In [CSVV06] the authors studied the expressiveness of persistence in the asynchronous pi calculus (Api) wrt weak barbed congruence. The study is incomplete because it ignores the issue of divergence. In this paper we present an expressiveness study of persistence in the asynchronous pi-calculus (Api) wrt DeNicola and Hennesy's testing scenario which is sensitive to divergence. We consider Api and theree sub-languages of it, each capturing one source of persistence: the persistent-input calculus (PIApi), the persistent-output calculus (POApi) and persistent calculus (PApi). In [CSVV06] the authors showed encodings from Api into semipersistent calculi are correct wrt weak barbed congruence. In this paper we prove that, under some general conditions, there cannot be an encoding from Api into a (semi)-persistent calculus preserving the must testing semantics. [CSVV06 ] C. Palamidessi, V. Saraswat, F. Valencia and B. Victor. On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi Calculus. LICS 2006:59-68,2006.
Type de document :
Communication dans un congrès
Roberto Amadio and Thomas Hildebrandt. 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), Sep 2007, Lisbon, Portugal. pp.58-71, 2007, Proceedings of the Preliminary Proceedings 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07)
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00201502
Contributeur : Jesus Aranda <>
Soumis le : mercredi 2 janvier 2008 - 01:30:05
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:30:31

Fichier

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

Identifiants

  • HAL Id : inria-00201502, version 1

Collections

Citation

Diletta Cacciagrano, Flavio Corradini, Jesus Aranda, Frank Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Roberto Amadio and Thomas Hildebrandt. 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), Sep 2007, Lisbon, Portugal. pp.58-71, 2007, Proceedings of the Preliminary Proceedings 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07). 〈inria-00201502〉

Partager

Métriques

Consultations de la notice

446

Téléchargements de fichiers

227