An Object Calculus for Asynchronous Communication
Abstract elided by the publisher.
Related papers
- Asynchronous and deterministic objects POPL 2004
- Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus POPL 1997
- Denotational reasoning for asynchronous multiparty session types ESOP 2026
- Mailbox Types for Unordered Interactions ECOOP 2018
- Multiparty asynchronous session types POPL 2008
- Exceptional asynchronous session types: session types without tiers POPL 2019
- Communication Mechanism on Autonomous Objects OOPSLA 1992
- Join patterns for visual basic OOPSLA 2008