Separation of synchronous and asynchronous communication via testing

zbMATH Open1273.68251MaRDI QIDQ2852065FDOQ2852065

Authors: Diletta Cacciagrano, Catuscia Palamidessi, Flavio Corradini 

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003719

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 \(\pi\)-calculus
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (12)

• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• On an effective hierarchy of communicating processes: Separation principle and testing
• Title not available (Why is that?)
• Pict Correctness Revisited
• Pict correctness revisited
• Fair \(\pi\)
• Tutorial on separation results in process calculi via leader election problems
• Separation of synchronous and asynchronous communication via testing
• Synchronizing asynchronous conformance testing
• Expressiveness of process algebras
• Comparing communication primitives via their relative expressive power
• Theory of interaction

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 Q2852065)