- Simulation simplifies bisimulation
- Closure of simulation relation
- Quotient transition system
- surjections of automata are quotients
References
- A New Equivalence Notion for Communicating Systems (Park, 1981)
- Concurrency on Automata and Infinite Sequences (Park, 1981)
- An Algebraic Definition of Simulation Between Programs (Milner, 1970)
- On the Origins of Bisimulation and Coinduction (Sangiorgi, 2009)
Flavours of bisimulation.