Applicability of Fair Simulation
Abstract elided by the publisher.
Related papers
- Almost Fair Simulations ICFP 2025
- Fair Simulation Minimization CAV 2002
- Bridging the Gap between Fair Simulation and Trace Inclusion CAV 2003
- Fair Operational Semantics PLDI 2023
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- A Demonic Outcome Logic for Randomized Nondeterminism POPL 2025
- Stream-Based Monitoring of Algorithmic Fairness TACAS 2025