Bisimulation

Last updated Feb 3, 2024

#index

• Simulation simplifies bisimulation
• Closure of simulation relation
• Quotient transition system
• surjections of automata are quotients