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

  title={Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models},
  author={Mauricio Toro and A. Philippou and S. Arboleda and Mar{\'i}a Puerta and S. CarlosM.V{\'e}lez},
  • Mauricio Toro, A. Philippou, +2 authors S. CarlosM.Vélez
  • Published in DCM 2015
  • Computer Science, Mathematics
  • 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… CONTINUE READING
    Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
    • 4
    • PDF
    A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
    Concurrent Constraint Conditional-Branching Timed Interactive Scores
    • 9
    • PDF
    NTCCRT: A concurrent constraint framework for soft-real time music interaction
    • 8
    • PDF
    Structured Interactive Music Scores
    • 12
    • PDF


    Publications referenced by this paper.
    Cellular-automata-based ecological and ecohydraulics modelling
    • 18
    • PDF
    Coupled map lattice approximations for spatially explicit individual-based models of ecology
    • 38
    • PDF
    A Flexible Automata Model for Disease Simulation
    • 19
    • PDF
    Modelling metapopulations with stochastic membrane systems
    • 57
    Process Algebra Models of Population Dynamics
    • 21
    • PDF
    Modelling the Dynamics of an Aedes albopictus Population
    • 12
    • PDF