Bounded Phase Analysis of Message-Passing Programs
No abstract available.
Related papers
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- Formal Analysis of Message Passing - (Invited Talk) VMCAI 2011
- A Partial Order View of Message-Passing Communication Models POPL 2023
- Probabilistic Resource-Aware Session Types POPL 2023
- Collective Contracts for Message-Passing Parallel Programs CAV 2024
- The Complexity of Testing Message-Passing Concurrency POPL 2026
- Corrected trees for reliable group communication PPoPP 2019
- Message analysis for concurrent programs using message passing TOPLAS 2006