Distributed Explicit State Model Checking of Deadlock Freedom
Abstract elided by the publisher.
Related papers
- Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS 2019
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Borrowing from Session Types OOPSLA 2025
- Verification of MPI Java programs using software model checking PPoPP 2016
- A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming ESOP 2022
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- First-Person Choreographic Programming with Continuation-Passing Communications ESOP 2025
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023