Research output

Conference Paper (in Formal Publication) ()

Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra

Citation
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.

Abstract
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.

Keywords
process algebra; epidemiology; measles

StatusPublished
EditorGiannakopoulou D, Mery D
AuthorsBenkirane Soufiene, Norman Rachel, Scott Erin, Shankland Carron
Title of seriesLecture Notes in Computer Science
Number in series7436
Publication date2012
URLhttp://link.springer.com/…3-642-32759-9_11
PublisherSpringer-Verlag
Place of publicationBerlin Heidelberg
ISSN of series 0302-9743
ISBN 978-3-642-32758-2
LanguageEnglish

Journal
Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal