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