Stochastic Process Algebras

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationFormal Methods for Performance Evaluation
Subtitle of host publication7th 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
EditorsMarco Bernardo, Jane Hillston
PublisherSpringer-Verlag GmbH
Number of pages48
ISBN (Electronic)978-3-540-72522-0
ISBN (Print)978-3-540-72482-7
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'Stochastic Process Algebras'. Together they form a unique fingerprint.

Cite this