Abstract
| Original language | English |
|---|---|
| Title of host publication | Lectures on Formal Methods and Performance Analysis |
| Editors | Hendrik Brinksma, H. Hermanns, Joost P. Katoen |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 183-231 |
| Number of pages | 49 |
| ISBN (Electronic) | 978-3-540-44667-5 |
| ISBN (Print) | 978-3-540-42479-6 |
| DOIs | |
| Publication status | Published - Jul 2001 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 2090 |
Fingerprint
Keywords
- FMT-PM: PROBABILISTIC METHODS
- EWI-6419
- FMT-PA: PROCESS ALGEBRAS
- IR-63273
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
Cite this
}
Process Algebra and Markov Chains. / Brinksma, Hendrik ; Hermanns, H.
Lectures on Formal Methods and Performance Analysis. ed. / Hendrik Brinksma; H. Hermanns; Joost P. Katoen. Berlin : Springer, 2001. p. 183-231 (Lecture Notes in Computer Science; Vol. 2090).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
TY - CHAP
T1 - Process Algebra and Markov Chains
AU - Brinksma, Hendrik
AU - Hermanns, H.
PY - 2001/7
Y1 - 2001/7
N2 - This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study the interrelation of reactive processes and Markov chains in this setting, and introduce the algebra of Interactive Markov Chains as an orthogonal extension of both process and Markov chain algebra. We conclude with comparing this approach to related (Markovian) stochastic process algebras by analysing the algebraic principles that they support.
AB - This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study the interrelation of reactive processes and Markov chains in this setting, and introduce the algebra of Interactive Markov Chains as an orthogonal extension of both process and Markov chain algebra. We conclude with comparing this approach to related (Markovian) stochastic process algebras by analysing the algebraic principles that they support.
KW - FMT-PM: PROBABILISTIC METHODS
KW - EWI-6419
KW - FMT-PA: PROCESS ALGEBRAS
KW - IR-63273
KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
U2 - 10.1007/3-540-44667-2_5
DO - 10.1007/3-540-44667-2_5
M3 - Chapter
SN - 978-3-540-42479-6
T3 - Lecture Notes in Computer Science
SP - 183
EP - 231
BT - Lectures on Formal Methods and Performance Analysis
A2 - Brinksma, Hendrik
A2 - Hermanns, H.
A2 - Katoen, Joost P.
PB - Springer
CY - Berlin
ER -