On the Benefits of Using the Up-To Techniques for Bisimulation Verification
No abstract available.
Related papers
- Bisimulation Learning CAV 2024
- Bisimulation for Quantum Processes TOPLAS 2012
- Bisimulation for quantum processes POPL 2011
- Branching Bisimulation Learning CAV 2025
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques APLAS 2015
- Trustworthy Runtime Verification via Bisimulation (Experience Report) ICFP 2023
- Bisimulation up-to techniques for psi-calculi CPP 2016