Probabilistic bisimulation

Last updated Feb 3, 2024

• monoidal Mealy machine
• bisimulation
• Functional morphisms of probabilistic automata are bisimulations