Process Algebra and Markov Chains

Abstract

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… (More)
DOI: 10.1007/3-540-44667-2_5

Topics

25 Figures and Tables

Statistics

0510'03'05'07'09'11'13'15'17
Citations per Year

59 Citations

Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics