Conference Paper (in Formal Publication) ()
Benkirane S, Norman R, Scott E & Shankland C (2012) Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra In: Giannakopoulou D, Mery D (ed.) FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, Berlin Heidelberg: Springer-Verlag. FM 2012: Formal Methods 18th International Symposium, 27.8.2012 - 31.8.2012, Paris, France, pp. 101-115.
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.
process algebra; epidemiology; measles
|Editor||Giannakopoulou D, Mery D|
|Authors||Benkirane Soufiene, Norman Rachel, Scott Erin, Shankland Carron|
|Title of series||Lecture Notes in Computer Science|
|Number in series||7436|
|Place of publication||Berlin Heidelberg|
|ISSN of series||0302-9743|
Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012)