YMCA: Why Markov Chain Algebra?

Mario Bravetti; H. Hermanns; Joost P. Katoen

doi:10.1016/j.entcs.2005.12.108

YMCA: Why Markov Chain Algebra?

Mario Bravetti, H. Hermanns, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

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 language	Undefined
Title of host publication	Essays on Algebraic Process Calculi
Editors	L. Aceto, A. Gordon
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	107-112
Number of pages	6
DOIs	https://doi.org/10.1016/j.entcs.2005.12.108
Publication status	Published - 2006
Event	Workshop on Algebraic Process Calculi, APC 25: The First Twenty Five Years and Beyond - Bertinoro, Italy Duration: 1 Aug 2005 → 5 Aug 2005

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Number	10
Volume	162
ISSN (Print)	1571-0661
ISSN (Electronic)	1571-0661

Workshop

Workshop	Workshop on Algebraic Process Calculi, APC 25
Country/Territory	Italy
City	Bertinoro
Period	1/08/05 → 5/08/05

Keywords

EWI-8236
IR-63707
METIS-237640

Access to Document

10.1016/j.entcs.2005.12.108

http://eprints.eemcs.utwente.nl/secure2/8236/01/ymca.ps

Cite this

@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 ; Workshop on Algebraic Process Calculi, APC 25 ; Conference date: 01-08-2005 Through 05-08-2005",

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",