Browsing by Subject "Probabilistic model checking"
Now showing items 1-1 of 1
-
Article
Simulation and verification in a process calculus for spatially-explicit ecological models
(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 ...