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

DOI10.1016/J.TCS.2010.09.024zbMATH Open1209.68307DBLPjournals/tcs/McCaigNS11OpenAlexW1993719218WikidataQ60649146 ScholiaQ60649146MaRDI QIDQ633693FDOQ633693

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

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

zbMATH Keywords

semanticsprocess algebramean 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)

Cites Work

• On process rate semantics
• Title not available (Why is that?)
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Title not available (Why is that?)
• Mathematical and Computational Challenges in Population Biology and Ecosystems Science
• Improved continuous approximation of PEPA models through epidemiological examples
• Processes with probabilities, priority and time
• A brief history of process algebra
• Models for the simple epidemic
• Process Algebra Models of Population Dynamics
• 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

Cited In (6)

• Applying mean-field approximation to continuous time Markov chains
• Using process algebra to develop predator-prey models of within-host parasite dynamics
• Individuals, populations and fluid approximations: a Petri net based perspective
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• Process Algebra Models of Population Dynamics
• A general overview of formal languages for individual-based modelling of ecosystems

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)