Quotient transition system

Last updated Aug 7, 2023

• Quotient of IO transition systems
• Bisimulation