Mario Román

❯

❯

Functional morphisms of probabilistic automata are bisimulations

Functional morphisms of probabilistic automata are bisimulations

Oct 28, 20231 min read

functional-morphisms-of-probabilistic-automata-are-bisimulations

Automata, Probabilistic bisimulation.

Graph View

Backlinks

Probabilistic bisimulation
Symmetric Monoidal Automata

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

GitHub
ArXiv
OrcID