Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
No abstract available.
Related papers
- Statically verified refinements for multiparty protocols OOPSLA 2020
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
- Less is more: multiparty session types revisited POPL 2019
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023