×

Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra. (English) Zbl 1373.92118

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 101-115 (2012).
Summary: We demonstrate the use of the process algebra PEPA for realistic models of epidemiology. The results of stochastic simulation of the model are shown, and ease of modelling is compared to that of Bio-PEPA. PEPA is shown to be capable of capturing the complex disease dynamics of the historic data for measles epidemics in the UK from 1944-1964, including persistent fluctuations due to seasonal effects.
For the entire collection see [Zbl 1250.68029].

MSC:

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

Keywords:

measles

Software:

Bio-PEPA; PEPA
PDFBibTeX XMLCite
Full Text: DOI