Computing Publications

Publications Home » Spatial extension of stochastic p...

Spatial extension of stochastic pi calculus

Anton Stefanek, Maria Vigliotti, Jeremy T. Bradley

National Workshop Paper
8th Workshop on Process Algebra and Stochastically Timed Activities
August, 2009
pp.109–117
Abstract

We introduce a spatial extension of stochastic pi-calculus that provides a formalism to model systems of discrete, connected locations. We define the extended stochastic semantics and also give deterministic semantics in terms of a system of ordinary differential equations. We describe two simple examples, one based on a standard epidemic model and one modelling resistance in plant tissues.

PDF of full publication (863 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.