A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus of mobile processes, I
Information and Computation
What is a “good” encoding of guarded choice?
Information and Computation - Special issue on EXPRESS 1997
Comparing three semantics for Linda-like languages
Theoretical Computer Science
Theoretical Computer Science
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Trace and testing equivalence on asynchronous processes
Information and Computation
Distributed Algorithms
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
First-Order Axioms for Asynchrony
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Process Algebra with Asynchronous Communication Mechanisms
Seminar on Concurrency, Carnegie-Mellon University
On Bisimulations for the Asynchronous pi-Calculus
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
On asynchronous session semantics
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Hi-index | 0.00 |
We address the question of what kind of asynchronouscommunication is exactly modeled by the asynchronous Π-calculus (Πa). To this purposewe define a calculus $\pi_\mathfrak{B}$ where channels arerepresented explicitly as special buffer processes. The baselanguage for $\pi_\mathfrak{B}$ is the (synchronous) Π-calculus, except that ordinary processes communicate only viabuffers. Then we compare this calculus with Πa. It turns out that there is a strongcorrespondence between Πaand$\pi_\mathfrak{B}$ in the case that buffers are bags: we can indeedencode each Πaprocess into astrongly asynchronous bisimilar $\pi_\mathfrak{B}$ process, andeach $\pi_\mathfrak{B}$ process into a weakly asynchronousbisimilar Πaprocess. In case thebuffers are queues or stacks, on the contrary, the correspondencedoes not hold. We show indeed that it is not possible to translatea stack or a queue into a weakly asynchronous bisimilarΠaprocess. Actually, for stackswe show an even stronger result, namely that they cannot be encodedinto weakly (asynchronous) bisimilar processes in a Π-calculus without mixed choice.