Logo eprints

Stochastic process algebras

Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Stochastic process algebras. In: Formal Methods for Performance Evaluation. Lecture Notes in Computer Science (4486). Springer, pp. 132-179. ISBN 78-3-540-72522-0 (2007)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-540-72522-0_4
Additional Information: 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
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 11 Feb 2015 13:33
Last Modified: 11 Feb 2015 13:33
URI: http://eprints.imtlucca.it/id/eprint/2595

Actions (login required)

Edit Item Edit Item