Transition systems in monoidal streamsLast updated Sep 8, 2023Tags: Monoidal category, Automata, A Canonical Algebra of Open Transition Systems, monoidal streams.
