Nesting Actions through Asynchronous Message Passing: the ACS Protocol
Abstract elided by the publisher.
Related papers
- AC: composable asynchronous IO for native languages OOPSLA 2011
- Inductive sequentialization of asynchronous programs PLDI 2020
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation ECOOP 2024
- Send to me first: Priority in synchronous message-passing JFP 2022
- Conformance Checking for Models of Asynchronous Message Passing Software CAV 2002
- Modeling Asynchronous Message Passing for C Programs VMCAI 2012