YMCA: Why Markov Chain Algebra?

Mario Bravetti, H. Hermanns, Joost P. Katoen

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

    15 Citations (Scopus)

    Abstract

    Markov chains are widely used to determine system performance and reliability characteristics. The vast majority of applications considers continuous-time Markov chains (CTMCs). This note motivates how concurrency theory can be extended (as opposed to twisted) to CTMCs. We provide the core motivation for the algebraic setup of Interactive Markov Chains. Therefore, this note should have better been baptized YIMC.
    Original languageUndefined
    Title of host publicationEssays on Algebraic Process Calculi
    EditorsL. Aceto, A. Gordon
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages107-112
    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-8236
    • IR-63707
    • METIS-237640

    Cite this