In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Clark, A., Gilmore, S., Hillston, J., & Tribastone, M. (2007). Stochastic process algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4486 LNCS, pp. 132–179). Springer Verlag. https://doi.org/10.1007/978-3-540-72522-0_4
Mendeley helps you to discover research relevant for your work.