Bisimulation and Simulation Relations for Markov Chains

Christel Baier, H. Hermanns, Joost P. Katoen, Verena Wolf

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Citations (Scopus)

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.
Original languageUndefined
Title of host publicationEssays on Algebraic Process Calculi
EditorsL. Aceto, A. Gordon
Place of PublicationAmsterdam
PublisherElsevier
Pages73-78
Number of pages6
DOIs
Publication statusPublished - 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier
Number10
Volume162
ISSN (Print)1571-0661
ISSN (Electronic)1571-0661

Keywords

  • EWI-8238
  • IR-63708
  • METIS-237641

Cite this

Baier, C., Hermanns, H., Katoen, J. P., & Wolf, V. (2006). Bisimulation and Simulation Relations for Markov Chains. In L. Aceto, & A. Gordon (Eds.), Essays on Algebraic Process Calculi (pp. 73-78). (Electronic Notes in Theoretical Computer Science; Vol. 162, No. 10). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2005.12.078
Baier, Christel ; Hermanns, H. ; Katoen, Joost P. ; Wolf, Verena. / Bisimulation and Simulation Relations for Markov Chains. Essays on Algebraic Process Calculi. editor / L. Aceto ; A. Gordon. Amsterdam : Elsevier, 2006. pp. 73-78 (Electronic Notes in Theoretical Computer Science; 10).
@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.",
keywords = "EWI-8238, IR-63708, METIS-237641",
author = "Christel Baier and H. Hermanns and Katoen, {Joost P.} and Verena Wolf",
note = "10.1016/j.entcs.2005.12.078",
year = "2006",
doi = "10.1016/j.entcs.2005.12.078",
language = "Undefined",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
number = "10",
pages = "73--78",
editor = "L. Aceto and A. Gordon",
booktitle = "Essays on Algebraic Process Calculi",

}

Baier, C, Hermanns, H, Katoen, JP & Wolf, V 2006, Bisimulation and Simulation Relations for Markov Chains. in L Aceto & A Gordon (eds), Essays on Algebraic Process Calculi. Electronic Notes in Theoretical Computer Science, no. 10, vol. 162, Elsevier, Amsterdam, pp. 73-78. https://doi.org/10.1016/j.entcs.2005.12.078

Bisimulation and Simulation Relations for Markov Chains. / Baier, Christel; Hermanns, H.; Katoen, Joost P.; Wolf, Verena.

Essays on Algebraic Process Calculi. ed. / L. Aceto; A. Gordon. Amsterdam : Elsevier, 2006. p. 73-78 (Electronic Notes in Theoretical Computer Science; Vol. 162, No. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Bisimulation and Simulation Relations for Markov Chains

AU - Baier, Christel

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Wolf, Verena

N1 - 10.1016/j.entcs.2005.12.078

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - EWI-8238

KW - IR-63708

KW - METIS-237641

U2 - 10.1016/j.entcs.2005.12.078

DO - 10.1016/j.entcs.2005.12.078

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 73

EP - 78

BT - Essays on Algebraic Process Calculi

A2 - Aceto, L.

A2 - Gordon, A.

PB - Elsevier

CY - Amsterdam

ER -

Baier C, Hermanns H, Katoen JP, Wolf V. Bisimulation and Simulation Relations for Markov Chains. In Aceto L, Gordon A, editors, Essays on Algebraic Process Calculi. Amsterdam: Elsevier. 2006. p. 73-78. (Electronic Notes in Theoretical Computer Science; 10). https://doi.org/10.1016/j.entcs.2005.12.078