YMCA: Why Markov Chain Algebra?


Bravetti, Mario and Hermanns, Holger and Katoen, Joost-Pieter (2006) YMCA: Why Markov Chain Algebra? Electronic Notes in Theoretical Computer Science (ENTCS), 162 . pp. 107-112. ISSN 1571-0661

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Article
Copyright:© 2006 Elsevier
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63707
Official URL:https://doi.org/10.1016/j.entcs.2005.12.108
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 237640