Fair Bisimulation
No abstract available.
Related papers
- On Quasi-Open Bisimulation APLAS 2002
- On Automatically Explaining Bisimulation Inequivalence CAV 1990
- Deriving Bisimulations by Simplifying Partitions VMCAI 2008
- Computing Distinguishing Formulas for Branching Bisimulation CAV 1991
- Symbolic Bisimulation Minimisation CAV 1992
- Bisimulations for Untyped Imperative Objects ESOP 2006
- Bisimulation for Higher-Order Pi-calculus APLAS 2002
- Decidability of Bisimulation Equivalences for Parallel Timer Processes CAV 1992