Modeling Asynchronous Message Passing for C Programs
No abstract available.
Related papers
- Conformance Checking for Models of Asynchronous Message Passing Software CAV 2002
- Denotational reasoning for asynchronous multiparty session types ESOP 2026
- Nesting Actions through Asynchronous Message Passing: the ACS Protocol ECOOP 1992
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022
- Using Message Passing for Distributed Programming: Proof Rules, Disciplines TOPLAS 1984
- Communicating memory transactions PPoPP 2011
- A Partial Order View of Message-Passing Communication Models POPL 2023
- Synchronization of Asynchronous Processes in CSP TOPLAS 1989