relation: http://eprints.imtlucca.it/2595/
title: Stochastic process algebras
creator: Clark, Allan
creator: Gilmore, Stephen
creator: Hillston, Jane
creator: Tribastone, Mirco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2007
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-72522-0_4
relation: 10.1007/978-3-540-72522-0_4