Quotient of IO transition systemsLast updated Oct 31, 2023#nov20 Quotient transition systemTags: Automata, bisimulation, Processes