Transition systems in monoidal streams

Last updated Jan 30, 2023

Tags: Monoidal category, Automata, A Canonical Algebra of Open Transition Systems.