### 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

*Lectures on Formal Methods and Performance Analysis*(pp. 183-231). (Lecture Notes in Computer Science; Vol. 2090). Berlin: Springer. https://doi.org/10.1007/3-540-44667-2_5

}

*Lectures on Formal Methods and Performance Analysis.*Lecture Notes in Computer Science, vol. 2090, Springer, Berlin, pp. 183-231. https://doi.org/10.1007/3-540-44667-2_5

**Process Algebra and Markov Chains.** / Brinksma, Hendrik ; Hermanns, H.

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 -