Quotient of IO transition systems

Last updated Apr 7, 2023

#nov20

Tags: Automata, Bisimulation, Processes