Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
No abstract available.
Related papers
- Generalized Fair Termination POPL 1984
- Temporal verification of higher-order functional programs POPL 2016
- Fair Termination of Multiparty Sessions ECOOP 2022
- Fair Operational Semantics PLDI 2023
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- On the Temporal Analysis of Fairness POPL 1980
- Almost Fair Simulations ICFP 2025
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026