In the 1980s process algebras became widely accepted formalisms for describing and
analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems …

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 …

This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …

Rapid and accessible performance evaluation of complex software systems requires two
critical features: the ability to specify useful performance metrics easily and the capability to …

We define a mechanism for specifying performance queries which combine instantaneous
observations of model states and finite sequences of observations of model activities. We …

Background Hospitals nowadays have to serve numerous patients with limited medical staff
and equipment while maintaining healthcare quality. Clinical pathway informatics is …

The accurate performance analysis of large-scale computer and communication systems is
directly inhibited by an exponential growth in the state-space of the underlying Markovian …

Modelling and analysing distributed and mobile software systems is a challenging task.
PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism …

We present a federated analysis of communication protocols which considers both security
properties and timing. These are not entirely independent observations of a protocol; by …

A model inspired by a scenario found in Grid-based scheduling systems is considered.
Scheduling is performed remotely without access to up-to-date resource availability and …