×

A compositional approach to performance modelling. 1st paperback print. (English) Zbl 1080.68003

This text describes a stochastic extension to process algebra called Performance Evaluation Process Algebra (PEPA). The usefulness of PEPA as a tool for specifying stochastic systems is illustrated by several case studies. The text is geared towards the mathematically inclined readers. However, most computer scientists should be able to absorb the gist of the contents with a little bit of extra effort. Overall, a very useful addition to the performance modelling literature.

MSC:

68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02 Research exposition (monographs, survey articles) pertaining to computer science

Software:

PEPA
PDFBibTeX XMLCite
Full Text: DOI