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

DOI10.1016/J.TCS.2010.09.024MaRDI QIDQ633693zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Chris McCaig, Rachel Norman, 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

mean field equationsprocess algebrasemantics

Mathematics Subject Classification ID

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

Recommendations

• Mean-field semantics for a process calculus for spatially-explicit ecological models
• Process Algebra Models of Population Dynamics
• Applying mean-field approximation to continuous time Markov chains
• On process rate semantics
• Tackling continuous state-space explosion in a Markovian process algebra

Cites work

• A brief history of process algebra
• A symbolic investigation of superspreaders
• Ants and agents: a process algebra approach to modelling ant colony behaviour
• Exact, analytic, and locally approximate solutions to discrete event-simulation problems
• scientific article; zbMATH DE number 194009 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• Improved continuous approximation of PEPA models through epidemiological examples
• Mathematical and Computational Challenges in Population Biology and Ecosystems Science
• Models for the simple epidemic
• On process rate semantics
• Process Algebra Models of Population Dynamics
• Processes with probabilities, priority and time
• Solutions of ordinary differential equations as limits of pure jump markov processes

Cited in

(6)

• 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
• Applying mean-field approximation to continuous time Markov chains
• Individuals, populations and fluid approximations: a Petri net based perspective
• Process Algebra Models of Population Dynamics
• Mean-field semantics for a process calculus for spatially-explicit ecological models

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

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