Mario Román

❯

❯

stochastic bisimulation

stochastic bisimulation

Jul 07, 20241 min read

Literature.

Bisimulation for Labelled Markov Processes (Blute, Desharnais, Edalat, Panangaden, 1997)

Graph View

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

GitHub
ArXiv
OrcID