Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

Mauricio Toro
(Universidad Eafit, Colombia)
Anna Philippou
(University of Cyprus, Cyprus)
Sair Arboleda
(Universidad de Antioquia, Colombia)
María Puerta
(Universidad Eafit, Colombia)
Carlos M. Vélez S.
(Universidad Eafit, Colombia)

We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS 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 individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.

In César A. Muñoz and Jorge A. Pérez: Proceedings of the Eleventh International Workshop on Developments in Computational Models (DCM 2015), Cali, Colombia, October 28, 2015, Electronic Proceedings in Theoretical Computer Science 204, pp. 79–94.
Published: 2nd March 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.204.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org