MeanField Semantics for a Process Calculus for SpatiallyExplicit Ecological Models
Abstract
We define a meanfield semantics for SPALPS, a process calculus for spatiallyexplicit, individualbased modeling of ecological systems. The new semantics of SPALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individualbased model of the transmission of dengue in Bello (Antioquia), Colombia.
 Publication:

arXiv eprints
 Pub Date:
 March 2016
 arXiv:
 arXiv:1603.00979
 Bibcode:
 2016arXiv160300979T
 Keywords:

 Computer Science  Logic in Computer Science;
 F.4.1
 EPrint:
 In Proceedings DCM 2015, arXiv:1603.00536