Towards a spatial stochastic process algebra

V. Galpin

Proceedings of the 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2008), University of Edinburgh, 30-31 July 2008


This paper introduces spatial notions to the stochastic process algebra PEPA. This is motivated by both computer networks and epidemiology where location of actions or processes with respect to other parts of a system may affect the time taken by an event. A very general stochastic process algebra with locations is defined. Locations are introduced to both actions and processes, and are provided with a weighted graph structure. 

Full text - PDF 

Slides - PDF

Back to Publications page