Conformance Checking for Models of Asynchronous Message Passing Software
No abstract available.
Related papers
- Modeling Asynchronous Message Passing for C Programs VMCAI 2012
- Collective Contracts for Message-Passing Parallel Programs CAV 2024
- Denotational reasoning for asynchronous multiparty session types ESOP 2026
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023
- Nesting Actions through Asynchronous Message Passing: the ACS Protocol ECOOP 1992
- Types as models: model checking message-passing programs POPL 2002
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022
- Using Message Passing for Distributed Programming: Proof Rules, Disciplines TOPLAS 1984