Simulation and verification in a process calculus for spatially-explicit ecological models

DOI10.7561/SACS.2013.1.119MaRDI QIDQ4621170zbMATH OpenFDO

Authors Anna Philippou, Mauricio Toro, Margarita Antonaki

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/SACS.2013.1.119

zbMATH Keywords

ecologyprobabilistic model checkingprocess calculispatially-explicit individual-based models

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Ecology (92D40)

Recommendations

• Synchronous parallel composition in a process calculus for ecological models
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• A simulation algorithm for multienvironment probabilistic P systems: a formal verification
• Process Algebra Models of Population Dynamics
• A spatial extension to the calculus

Cited in

(3)

• A general overview of formal languages for individual-based modelling of ecosystems
• Synchronous parallel composition in a process calculus for ecological models
• Mean-field semantics for a process calculus for spatially-explicit ecological models

This page was built for publication: Simulation and verification in a process calculus for spatially-explicit ecological models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621170)