@inproceedings{c55c77fef92b430589a219d66e74947d,
title = "Bisimulation and Simulation Relations for Markov Chains",
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.",
author = "Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf",
year = "2006",
doi = "10.1016/j.entcs.2005.12.078",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
pages = "73--78",
editor = "Luca Aceto and Gordon, {Andrew D.}",
booktitle = "Essays on Algebraic Process Calculi",
address = "Netherlands",
note = "Workshop on Algebraic Process Calculi, APC 25 : The First Twenty Five Years and Beyond ; Conference date: 01-08-2005 Through 05-08-2005",
}