Separation of synchronous and asynchronous communication via testing

DOI10.1016/J.TCS.2007.07.009MaRDI QIDQ2465029zbMATH OpenOpenAlexFDO

Authors Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Publication date 19 December 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00200916/file/report.pdf

zbMATH Keywords

asynchronous \(\pi \)-calculusencodingsynchronous communicationtesting semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Separation of synchronous and asynchronous communication via testing
• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• scientific article; zbMATH DE number 2044505
• Synchrony vs causality in the asynchronous -calculus
• On the validity of encodings of the synchronous in the asynchronous -calculus

Cites work

• A calculus of mobile processes. I
• Basic observables for processes
• Divergence and fair testing
• Fair \(\pi\)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 2044505 (Why is no real title available?)
• scientific article; zbMATH DE number 1512624 (Why is no real title available?)
• On the expressive power of \textsc{Klaim}-based calculi
• Separation of synchronous and asynchronous communication via testing
• Testing equivalence for mobile processes
• Testing equivalences for processes
• What is a ``good encoding of guarded choice?

Cited in

(11)

• On an effective hierarchy of communicating processes: Separation principle and testing
• On the validity of encodings of the synchronous in the asynchronous -calculus
• Towards a unified approach to encodability and separation results for process calculi
• Separation of synchronous and asynchronous communication via testing
• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• Synchrony vs asynchrony in communication primitives
• A Fresh Look at Testing for Asynchronous Communication
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• scientific article; zbMATH DE number 2044505 (Why is no real title available?)
• Full abstraction for expressiveness: history, myths and facts
• A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing

This page was built for publication: Separation of synchronous and asynchronous communication via testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2465029)