Computing Distinguishing Formulas for Branching Bisimulation
No abstract available.
Related papers
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- Bisimulation Can't Be Traced POPL 1988
- Branching Bisimulation Learning CAV 2025
- Efficient Simplification of Bisimulation Formulas TACAS 1995
- An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation TACAS 2016
- Bisimulation Through Probabilistic Testing POPL 1989
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Process Equivalence Problems as Energy Games CAV 2023