Similar Items: The Complexity of Bisimulation and Simulation on Finite Systems
- Games for Bisimulations and Abstraction
- Relating Apartness and Bisimulation
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
- Relating coalgebraic notions of bisimulation
- Bisimulations for Delimited-Control Operators