Mario Román
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
notes
❯
Quotient of IO transition systems
Quotient of IO transition systems
Feb 02, 2026
1 min read
nov20
nov20
Quotient transition system
Tags:
Automata
,
bisimulation
,
Processes
Graph View
Backlinks
Processes
Quotient transition system
