Message-Passing Algorithms for the Verification of Distributed Protocols
No abstract available.
Related papers
- Protocol-based verification of message-passing parallel programs OOPSLA 2015
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Implementability of Global Distributed Protocols Modulo Network Architectures PLDI 2026
- Communication-Closed Asynchronous Protocols CAV 2019
- Protocol combinators for modeling, testing, and execution of distributed systems JFP 2021
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Semantic Logical Relations for Timed Message-Passing Protocols POPL 2025
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023