A general overview of formal languages for individual-based modelling of ecosystems
From MaRDI portal
Publication:2423746
DOI10.1016/j.jlamp.2019.01.006zbMath1423.68318arXiv1901.10820OpenAlexW2912779630WikidataQ128437619 ScholiaQ128437619MaRDI QIDQ2423746
Publication date: 20 June 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1901.10820
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ecology (92D40)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A computational modeling for real ecosystems based on P systems
- Hybrid dynamics of stochastic \(\pi \)-calculus
- From individuals to populations: a mean field semantics for process algebra
- Spatial calculus of looping sequences
- Ants and agents: a process algebra approach to modelling ant colony behaviour
- Modeling biological systems in stochastic concurrent constraint programming
- A calculus of communicating systems
- Processes with probabilities, priority and time
- Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
- Membrane computing. An introduction.
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Assessing the effects of vector control on dengue transmission
- Types for the ambient calculus
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
- Stochastic Concurrent Constraint Programming and Differential Equations
- A Spatial Extension to the π Calculus
- Synchronous Parallel Composition in a Process Calculus for Ecological Models
- The Attributed Pi-Calculus with Priorities
- DYNAMICAL PROBABILISTIC P SYSTEMS
- Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
- Processes in Space
- Tau Leaping Stochastic Simulation Method in P Systems
- Process Algebra Models of Population Dynamics
- Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra
- Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates
- Rate-Based Transition Systems for Stochastic Process Calculi
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Brane Calculi
- Computational Methods in Systems Biology
