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

Bravetti, M., Hermanns, H., & Katoen, J. P. (2006). YMCA: Why Markov Chain Algebra? In L. Aceto, & A. Gordon (Eds.), Essays on Algebraic Process Calculi (pp. 107-112). (Electronic Notes in Theoretical Computer Science; Vol. 162, No. 10). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2005.12.108
Bravetti, Mario ; Hermanns, H. ; Katoen, Joost P. / YMCA: Why Markov Chain Algebra?. Essays on Algebraic Process Calculi. editor / L. Aceto ; A. Gordon. Amsterdam : Elsevier, 2006. pp. 107-112 (Electronic Notes in Theoretical Computer Science; 10).
@inproceedings{cb33d492f2984666be697346bfa68937,
title = "YMCA: Why Markov Chain Algebra?",
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.",
keywords = "EWI-8236, IR-63707, METIS-237640",
author = "Mario Bravetti and H. Hermanns and Katoen, {Joost P.}",
note = "10.1016/j.entcs.2005.12.108",
year = "2006",
doi = "10.1016/j.entcs.2005.12.108",
language = "Undefined",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
number = "10",
pages = "107--112",
editor = "L. Aceto and A. Gordon",
booktitle = "Essays on Algebraic Process Calculi",

}

Bravetti, M, Hermanns, H & Katoen, JP 2006, YMCA: Why Markov Chain Algebra? in L Aceto & A Gordon (eds), Essays on Algebraic Process Calculi. Electronic Notes in Theoretical Computer Science, no. 10, vol. 162, Elsevier, Amsterdam, pp. 107-112. https://doi.org/10.1016/j.entcs.2005.12.108

YMCA: Why Markov Chain Algebra? / Bravetti, Mario; Hermanns, H.; Katoen, Joost P.

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

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

TY - GEN

T1 - YMCA: Why Markov Chain Algebra?

AU - Bravetti, Mario

AU - Hermanns, H.

AU - Katoen, Joost P.

N1 - 10.1016/j.entcs.2005.12.108

PY - 2006

Y1 - 2006

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

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

KW - EWI-8236

KW - IR-63707

KW - METIS-237640

U2 - 10.1016/j.entcs.2005.12.108

DO - 10.1016/j.entcs.2005.12.108

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 107

EP - 112

BT - Essays on Algebraic Process Calculi

A2 - Aceto, L.

A2 - Gordon, A.

PB - Elsevier

CY - Amsterdam

ER -

Bravetti M, Hermanns H, Katoen JP. YMCA: Why Markov Chain Algebra? In Aceto L, Gordon A, editors, Essays on Algebraic Process Calculi. Amsterdam: Elsevier. 2006. p. 107-112. (Electronic Notes in Theoretical Computer Science; 10). https://doi.org/10.1016/j.entcs.2005.12.108