Bisimulation and Simulation Relations for Markov Chains

Christel Baier, Holger Hermanns, Joost-Pieter Katoen and Verena Wolf

September 2006

Abstract

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.

Type

Article-Journal

Publication

Electronic Notes in Theoretical Computer Science

DOI

10.1016/j.entcs.2005.12.078

Cite

@article{baierBisimulationAndSimulationRelations2006,
 author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf},
 doi = {10.1016/j.entcs.2005.12.078},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {9},
 pages = {73-78},
 publisher = {Elsevier, Amsterdam},
 title = {Bisimulation and Simulation Relations for Markov Chains},
 volume = {162},
 year = {2006}
}