Skip to Main content Skip to Navigation
New interface
Conference papers

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
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Sunday, December 23, 2007 - 6:56:08 PM
Last modification on : Monday, November 28, 2022 - 6:38:04 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:22:11 PM


Files produced by the author(s)




Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Separation of synchronous and asynchronous communication via testing. Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005), Aug 2005, San Francisco, United States. pp.95-108, ⟨10.1016/j.entcs.2006.05.009⟩. ⟨inria-00201107⟩



Record views


Files downloads