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

    5 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
    EventEssays on Algebraic Process Calculi - Bertinoro, Italy
    Duration: 1 Aug 20051 Aug 2005

    Publication series

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

    Workshop

    WorkshopEssays on Algebraic Process Calculi
    Period1/08/051/08/05
    OtherAugust 2005

    Keywords

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

    Cite this