Separation of Synchronous and Asynchronous Communication Via Testing | Zendy

Diletta Cacciagrano | Zendy; Flavio Corradini | Zendy; Catuscia Palamidessi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Separation of Synchronous and Asynchronous Communication Via Testing

Author(s) -

Diletta Cacciagrano,

Flavio Corradini,

Catuscia Palamidessi

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.05.009

Subject(s) - asynchronous communication , prefix , computer science , encoding (memory) , semantics (computer science) , pi calculus , atomicity , theoretical computer science , divergence (linguistics) , operational semantics , algorithm , programming language , artificial intelligence , computer network , philosophy , linguistics , database transaction

International audienceOne 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research