stochastic bisimulation

Last updated Jul 23, 2024

Literature.

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