YMCA: Why Markov Chain Algebra?

Share/Save/Bookmark

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
170Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63707
Official URL:http://dx.doi.org/10.1016/j.entcs.2005.12.108
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 237640