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.
['Christel Baier', 'Holger Hermanns', 'Joost-Pieter Katoen', 'Verena Wolf']
Bisimulation and Simulation Relations for Markov Chains