Quotient transition system

Last updated Feb 3, 2024

• Quotient of IO transition systems
• bisimulation