eprintid: 2733
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/27/33
datestamp: 2015-07-27 07:57:24
lastmod: 2015-07-27 07:57:24
status_changed: 2015-07-27 07:57:24
type: conference_item
metadata_visibility: show
creators_name: Tschaikowski, Max
creators_name: Tribastone, Mirco
creators_id: max.tschaikowski@imtlucca.it
creators_id: mirco.tribastone@imtlucca.it
title: A partial-differential approximation for spatial stochastic process algebra
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
pres_type: paper
keywords: Approximation, Partial Differential Equations
abstract: 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.
date: 2014
date_type: published
publisher: ACM
pagerange: 74-81
event_title: International Conference on Performance Evaluation Methodologies and Tools 
event_location: Bratislava, Slovakia
event_dates: December  9 - 11, 2014
event_type: conference
id_number: 10.4108/icst.Valuetools.2014.258170
refereed: TRUE
isbn: 978-1-63190-057-0
book_title: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS, 2014) 
official_url: http://dl.acm.org/citation.cfm?id=2747664
citation:   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)