Mean-field semantics for a process calculus for spatially-explicit ecological models
Date
2016Author
Toro, MauricioPhilippou, Anna
Arboleda, S.
Puerta, M.
Vélez S, C. M.
Publisher
Open Publishing AssociationSource
Electronic Proceedings in Theoretical Computer Science, EPTCS11th International Workshop on Developments in Computational Models, DCM 2015
Volume
204Pages
79-94Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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. © M. Toro, A. Philippou, S. Arboleda, M. Puerta & C. Vélez.