论文信息 - YMCA: - Why Markov Chain Algebra? -

YMCA: - Why Markov Chain Algebra? -

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.

Joost-Pieter Katoen | Mario Bravetti | Holger Hermanns

[1] Mario Bravetti,et al. The theory of interactive generalized semi-Markov processes , 2002, Theor. Comput. Sci..

[2] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[3] Joost-Pieter Katoen,et al. Automated compositional Markov chain generation for a plain-old telephone system , 2000, Sci. Comput. Program..

[4] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .

[5] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[6] Joost-Pieter Katoen,et al. Process algebra for performance evaluation , 2002, Theor. Comput. Sci..

[7] Mario Bravetti,et al. Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time , 2000, MTCS.

[8] Marten van Sinderen,et al. On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract) , 1989, TAPSOFT, Vol.2.

[9] Joost-Pieter Katoen,et al. An algebraic approach to the specification of stochastic systems , 1998, PROCOMET.

[10] Marcel F. Neuts,et al. Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[11] Mario Bravetti. Revisiting Interactive Markov Chains , 2002, Electron. Notes Theor. Comput. Sci..

[12] Marten van Sinderen,et al. Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..