scientific article; zbMATH DE number 7438166
From MaRDI portal
Publication:5013824
zbMath1480.92232arXiv1603.00979MaRDI QIDQ5013824
Carlos M. Vélez S., Anna Philippou, María Puerta, Mauricio Toro, Sair Arboleda
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1603.00979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ecology (92D40)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- From individuals to populations: a mean field semantics for process algebra
- Spatial calculus of looping sequences
- Stochastic eco-epidemiological model of dengue disease transmission by Aedes aegypti mosquito
- Ants and agents: a process algebra approach to modelling ant colony behaviour
- Processes with probabilities, priority and time
- Assessing the effects of vector control on dengue transmission
- Timed $$\pi $$-Calculus
- Synchronous Parallel Composition in a Process Calculus for Ecological Models
- Process Algebra Models of Population Dynamics
- Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
- Modular Verification of Interactive Systems with an Application to Biology
- A Flexible Automata Model for Disease Simulation
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Solutions of ordinary differential equations as limits of pure jump markov processes