Improved Continuous Approximation of PEPA Models through Epidemiological Examples

DOI10.1016/j.entcs.2009.02.005zbMath1283.92064DBLPjournals/entcs/BenkiraneHMNS09OpenAlexW2116855816WikidataQ60649149 ScholiaQ60649149MaRDI QIDQ5404074

Soufiene Benkirane, Chris McCaig, Jane Hillston, Rachel Norman, Carron Shankland

Publication date: 21 March 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.005

zbMATH Keywords

process algebraPEPAindividual based modelchanging scalepopulation based model

Mathematics Subject Classification ID

Epidemiology (92D30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Qualitative investigation and simulation of ordinary differential equation models (34C60)

Related Items (3)

Fundamental results on the reactionâdiffusion equations associated with a PEPA model ⋮ From individuals to populations: a mean field semantics for process algebra ⋮ On reaction-diffusion equations derived from a PEPA model

Uses Software

• PEPA
• ipc

Cites Work

• Processes with probabilities, priority and time
• BioAmbients: an abstraction for biological compartments
• On process rate semantics
• Analysis of a Multimedia Stream using Stochastic Process Algebra
• Process Algebra Models of Population Dynamics

This page was built for publication: Improved Continuous Approximation of PEPA Models through Epidemiological Examples