14 citations · 21 across the 6 of their papers we have counts for
5 papers · 1 filter
A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
Mauricio Toro
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space.…
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
Mauricio Toro
We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we developed a verification tool for pntcc models. Using this tool we can prove propertie…
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Anna Philippou, Mauricio Toro
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an e…
Concurrent Constraint Conditional-Branching Timed Interactive Scores
Mauricio Toro, Myriam Desainte-Catherine
Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by tempora…
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…