bisimulation in string diagrams

Last updated Feb 3, 2024

• bisimulation
• symmetric monoidal automata