Similar Items: Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
- Infinitary Combinatory Reduction Systems: Confluence
- The Complexity of Bisimulation and Simulation on Finite Systems
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
- Games for Bisimulations and Abstraction
- Relating Apartness and Bisimulation
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically