A Dash of Fairness for Compositional Reasoning
Abstract elided by the publisher.
Related papers
- Local Liveness for Compositional Modeling of Fair Reactive Systems CAV 1995
- Fair Termination of Multiparty Sessions ECOOP 2022
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Fair Operational Semantics PLDI 2023
- Almost Fair Simulations ICFP 2025
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- On the Temporal Analysis of Fairness POPL 1980
- FairSquare: probabilistic verification of program fairness OOPSLA 2017