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 probabilis- tic choice. We then present an introduction to the modelling capabil- ities 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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-72522-0_4 | School on Formal Methods for the Design of Computer, Communication and Software Systems |
Keywords | DocType | Volume |
stochastic time,pepa formalism,stochastic process algebra,probabilistic choice,process algebra,performance modelling,modelling capability,brief introduction,small example,classical process algebra | Conference | 4486 |
ISSN | Citations | PageRank |
0302-9743 | 10 | 0.58 |
References | Authors | |
32 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Allan Clark | 1 | 259 | 13.74 |
Stephen Gilmore | 2 | 10 | 0.58 |
Jane Hillston | 3 | 1657 | 125.09 |
mirco tribastone | 4 | 518 | 43.87 |