Skip to Main content Skip to Navigation
Journal articles

Separation of synchronous and asynchronous communication via testing

Diletta Cacciagrano 1 Flavio Corradini 1 Catuscia Palamidessi 2
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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 :
Journal articles
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00200916
Contributor : Catuscia Palamidessi <>
Submitted on : Saturday, December 22, 2007 - 8:15:22 AM
Last modification on : Friday, January 8, 2021 - 11:22:05 AM
Long-term archiving on: : Thursday, September 27, 2012 - 1:20:37 PM

File

report.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

494

Files downloads

350