Synchronous parallel composition in a process calculus for ecological models

DOI10.1007/978-3-319-10882-7_25MaRDI QIDQ2938179zbMATH OpenOpenAlexFDO

Authors Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis

Publication date 13 January 2015

Published in Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10882-7_25

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ecology (92D40)

Recommendations

• Simulation and verification in a process calculus for spatially-explicit ecological models
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• A fully parallel calculus of synchronizing processes
• Process Algebra Models of Population Dynamics
• The attributed pi-calculus with priorities

Cited in

(4)

• A general overview of formal languages for individual-based modelling of ecosystems
• Simulation and verification in a process calculus for spatially-explicit ecological models
• Modelling ecological systems with the calculus of wrapped compartments
• Mean-field semantics for a process calculus for spatially-explicit ecological models

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Synchronous parallel composition in a process calculus for ecological models

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