Bisimulation and Simulation Relations for Markov Chains
Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf · Electronic Notes in Theoretical Computer Science · 2006
Formal notions of bisimulation and simulation relation play a central role for any kind of process algebra. This short paper sketches the main concepts for bisimulation and simulation relations for probabilistic systems, modelled by discrete- or continuous-time Markov chains.