Separation of synchronous and asynchronous communication via testing

Diletta Cacciagrano 1 Flavio Corradini 1 Catuscia Palamidessi 2
2 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 : One of the early results about the asynchronous $\pi$-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) $\pi$-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy's testing semantics. In this sense, it turns out that, under some general conditions, no encoding of output prefix is able to preserve the must testing. This negative result is due to (a) the non atomicity of the sequences of steps which are necessary in the asynchronous $\pi$-calculus to mimic synchronous communication, and (b) testing semantics's sensitivity to divergence.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2007, 386 (3), pp.218-235. 〈10.1016/j.tcs.2007.07.009〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00200916
Contributeur : Catuscia Palamidessi <>
Soumis le : samedi 22 décembre 2007 - 08:15:22
Dernière modification le : jeudi 17 mai 2018 - 12:52:03
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:20:37

Fichier

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

Identifiants

Collections

Citation

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Separation of synchronous and asynchronous communication via testing. Theoretical Computer Science, Elsevier, 2007, 386 (3), pp.218-235. 〈10.1016/j.tcs.2007.07.009〉. 〈inria-00200916〉

Partager

Métriques

Consultations de la notice

369

Téléchargements de fichiers

122