Mario Román

Search

Search IconIcon to open search

Quotient of IO transition systems

Last updated Apr 7, 2023

#nov20 quotient-of-io-transition-systems

Tags: Automata, Bisimulation, Processes