| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422937 | Electronic Notes in Theoretical Computer Science | 2006 | 6 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
