TY  - CHAP
EP  - 179
N2  - 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.
T3  - Lecture Notes in Computer Science
TI  - Stochastic process algebras
UR  - http://dx.doi.org/10.1007/978-3-540-72522-0_4
SP  - 132
ID  - eprints2595
N1  - 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
SN  - 78-3-540-72522-0
PB  - Springer
T2  - Formal Methods for Performance Evaluation
Y1  - 2007///
AV  - none
A1  - Clark, Allan
A1  - Gilmore, Stephen
A1  - Hillston, Jane
A1  - Tribastone, Mirco
ER  -