Spatial extension of stochastic Pi calculus

File Description SizeFormat 
spatial-pi-calculus.pdfWorking Paper863.21 kBAdobe PDFView/Open
Title: Spatial extension of stochastic Pi calculus
Authors: Stefanek, A
Vigliotti, M
Bradley, J
Item 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.
Issue Date: 31-Aug-2009
Publisher Link:
Presented At: 8th Workshop on Process Algebra and Stochastically Timed Activities
Start Page: 109
End Page: 117
Copyright Statement: © 2009 The Authors
Conference Location: Edinburgh, UK
Appears in Collections:Computing
High Performance Informatics