Mario Román

Search

Search IconIcon to open search

Quotient of IO transition systems

Last updated Oct 31, 2023

#nov20 quotient-of-io-transition-systems

Tags: Automata, bisimulation, Processes