This paper surveys the theoretical developments in the field of stochastic process algebras,
process algebras where action occurrences may be subject to a delay that is determined by …

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

In the literature, the notions of lumpability and time reversibility for large Markov chains have
been widely used to efficiently study the functional and non-functional properties of …

Stochastic networks defined by a collection of cooperating agents are solved for their
equilibrium state probability distribution by a new compositional method. The agents are …

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 …

The advantages of the compositional structure within the Markovian process algebra PEPA
for model construction and simplification have already been demonstrated. In this paper we …

Since their introduction in the early 1990s, compositionality has been reported as one of the
major attractions of stochastic process algebras. The benefits that compositionality provides …

The computation of the steady-state distribution of Continuous Time Markov Chains
(CTMCs) may be a computationally hard problem when the number of states is very large. In …

In this thesis, we investigate reliable modelling within a stochastic process algebra
framework. Primarily, we consider issues of variance in stochastic process algebras as a …

Recent research has investigated ways in which generally distributed random variables may
be incorporated into stochastic process algebra (SPA). These proposals allow the arbitrary …