From individuals to populations: a mean field semantics for process algebra

DOI10.1016/j.tcs.2010.09.024zbMath1209.68307OpenAlexW1993719218WikidataQ60649146 ScholiaQ60649146MaRDI QIDQ633693

Rachel Norman, Chris McCaig, Carron Shankland

Publication date: 29 March 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1893/2817

zbMATH Keywords

process algebrasemanticsmean field equations

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Using process algebra to develop predator-prey models of within-host parasite dynamics ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A symbolic investigation of superspreaders
• Ants and agents: a process algebra approach to modelling ant colony behaviour
• Processes with probabilities, priority and time
• Models for the simple epidemic
• A brief history of process algebra
• On process rate semantics
• Process Algebra Models of Population Dynamics
• Exact, analytic, and locally approximate solutions to discrete event-simulation problems
• Improved Continuous Approximation of PEPA Models through Epidemiological Examples
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Mathematical and Computational Challenges in Population Biology and Ecosystems Science

This page was built for publication: From individuals to populations: a mean field semantics for process algebra