Reasoning about Layered Message Passing Systems
Abstract elided by the publisher.
Related papers
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality APLAS 2017
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026
- Verified Lock-Free Session Channels with Linking OOPSLA 2024
- Denotational reasoning for asynchronous multiparty session types ESOP 2026
- A Partial Order View of Message-Passing Communication Models POPL 2023
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Programming and reasoning about actors that share state JFP 2024
- Deep typechecking and refactoring OOPSLA 2008