Mario Román

❯

❯

arbitrary morphisms do not imply bisimulation

arbitrary morphisms do not imply bisimulation

Oct 28, 20231 min read

arbitrary-morphisms-do-not-imply-bisimulation

bisimulation

Graph View

Backlinks

Symmetric Monoidal Automata

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID