Quotient of IO transition systemsLast updated Apr 7, 2023#nov20 Tags: Automata, Bisimulation, Processes