What is it about?
A semantics to represent the average behavior of a system composed by individuals in a process calculus called PALPS, useful to model ecological systems. This paper also includes a case study for dengue in Bello, Colombia.
Featured Image
Why is it important?
The operational semantics of discrete-time, discrete-space process calculus suffer from state explosion. One solution is a semantics to represent the average behavior as a system of recurrence equations
Perspectives
An interesting perspective is to implement this semantics in a simulation
Dr Mauricio Toro
Universidad EAFIT
Read the Original
This page is a summary of: Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models, Electronic Proceedings in Theoretical Computer Science, March 2016, Open Publishing Association,
DOI: 10.4204/eptcs.204.7.
You can read the full text:
Contributors
The following have contributed to this page
