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

DOI10.1016/j.tcs.2010.09.024zbMath1209.68307WikidataQ60649146 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 algebra; semantics; mean field equations

Mathematics Subject Classification ID

92D25: Population dynamics (general)

68Q55: Semantics in the theory of computing

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

Related Items

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

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