Logo eprints

A partial-differential approximation for spatial stochastic process algebra

Tschaikowski, Max and Tribastone, Mirco A partial-differential approximation for spatial stochastic process algebra. In: International Conference on Performance Evaluation Methodologies and Tools , December 9 - 11, 2014, Bratislava, Slovakia pp. 74-81. ISBN 978-1-63190-057-0. (2014)

Full text not available from this repository.


We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other when they are in same region. The ODE system size will grow linearly with the number of regions, hindering the analysis in practice. Assuming an unbiased random walk, we introduce an approximation in terms of a system of reaction-diffusion partial differential equations, of size independent of the lattice granularity. Numerical tests on a spatial version of the generalised Lotka-Volterra model show high accuracy and very competitive runtimes against ODE solutions for fine-grained lattices.

Item Type: Conference or Workshop Item (Paper)
Identification Number: 10.4108/icst.Valuetools.2014.258170
Uncontrolled Keywords: Approximation, Partial Differential Equations
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 27 Jul 2015 07:57
Last Modified: 27 Jul 2015 07:57
URI: http://eprints.imtlucca.it/id/eprint/2733

Actions (login required)

Edit Item Edit Item