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.
|Title of host publication||Essays on Algebraic Process Calculi|
|Editors||L. Aceto, A. Gordon|
|Place of Publication||Amsterdam|
|Number of pages||6|
|Publication status||Published - 2006|
|Name||Electronic Notes in Theoretical Computer Science|