Quotient of IO transition systemsLast updated Feb 3, 2024#nov20 Quotient transition systemTags: Automata, bisimulation, Processes
