@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.",
author = "Mario Bravetti and Holger Hermanns and Joost-Pieter Katoen",
year = "2006",
doi = "10.1016/j.entcs.2005.12.108",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
number = "10",
pages = "107--112",
editor = "L. Aceto and A. Gordon",
booktitle = "Proceedings of the Workshop {"}Essays on Algebraic Process Calculi{"} (APC 25)",
address = "Spain",
note = "Workshop on Algebraic Process Calculi, APC 25 : The First Twenty Five Years and Beyond ; Conference date: 01-08-2005 Through 05-08-2005",
}