Spatial extension of stochastic Pi calculus
File(s)spatial-pi-calculus.pdf (863.21 KB)
Working Paper
Author(s)
Stefanek, A
Vigliotti, M
Bradley, J
Type
Conference Paper
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.
Date Issued
2009-08
Citation
2009, pp.109-117
Source Title
8th Workshop on Process Algebra and Stochastically Timed Activities
Start Page
109
End Page
117
Copyright Statement
© 2009 The Authors
Identifier
http://pubs.doc.ic.ac.uk/spatial-pi-calculus/
Source
8th Workshop on Process Algebra and Stochastically Timed Activities
Source Place
Edinburgh, UK
Start Date
2009-08-26
Finish Date
2009-08-27
Coverage Spatial
Edinburgh, UK