eprintid: 2595
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/95
datestamp: 2015-02-11 13:33:24
lastmod: 2015-02-11 13:33:24
status_changed: 2015-02-11 13:33:24
type: book_section
metadata_visibility: show
creators_name: Clark, Allan
creators_name: Gilmore, Stephen
creators_name: Hillston, Jane
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Stochastic process algebras
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 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
abstract: 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.
date: 2007
series: Lecture Notes in Computer Science
number: 4486
publisher: Springer
pagerange: 132-179
id_number: 10.1007/978-3-540-72522-0_4
refereed: TRUE
isbn: 78-3-540-72522-0
book_title: Formal Methods for Performance Evaluation
official_url: http://dx.doi.org/10.1007/978-3-540-72522-0_4
citation:   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)