@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",
booktitle = "Essays on Algebraic Process Calculi",
address = "Netherlands",
}