Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Fecha
2016-01-01
Autores
Toro, Mauricio
Philippou, Anna
Arboleda, Sair
Puerta, Maria
Velez S, Carlos M.
Título de la revista
ISSN de la revista
Título del volumen
Editor
OPEN PUBL ASSOC
Resumen
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.