Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
Abstract elided by the publisher.
Related papers
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994
- Denotational reasoning for asynchronous multiparty session types ESOP 2026
- Reasoning about Layered Message Passing Systems VMCAI 2003
- Motion Session Types for Robotic Interactions (Brave New Idea Paper) ECOOP 2019
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Message-Observing Sessions OOPSLA 2024
- Send-receive considered harmful: Myths and realities of message passing TOPLAS 2004