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

Mauricio Toro, Anna Philippou, Sair Arboleda +2

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 int…