Synchronizability for Verification of Asynchronously Communicating Systems
No abstract available.
Related papers
- Communication-Closed Asynchronous Protocols CAV 2019
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- Efficient interpretation of synchronizable series expressions PLDI 1987
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems TACAS 2000
- ECCS and LIPS: Two Languages for OSI Systems Specification and Verification TOPLAS 1989
- Bolt-On Strong Consistency: Specification, Implementation, and Verification OOPSLA 2025
- Deadlock-freedom-by-design: multiparty asynchronous global programming POPL 2013
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017