Browsing by Author "Antonaki, Margarita"
Now showing items 1-1 of 1
-
Article
Simulation and verification in a process calculus for spatially-explicit ecological models
Philippou, Anna; Toro, Mauricio; Antonaki, Margarita (2013)We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior. PALPS has two abstraction ...