University of Stirling    STORRE: Stirling Online Research Repository University Circle Images   Research Led, Student Focused  

School of Natural Sciences >
Computing Science and Mathematics >
Computing Science and Mathematics Journal Articles >

Please use this identifier to cite or link to this item:

Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology
Author(s): McCaig, Chris
Begon, Mike
Norman, Rachel
Shankland, Carron
Contact Email:
Keywords: epidemiology
multiscale modelling
theoretical computer science
changing scale
Issue Date: Mar-2011
Publisher: Springer
Citation: McCaig C, Begon M, Norman R & Shankland C (2011) A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology, Theory in Biosciences, 130 (1), pp. 19-29.
Abstract: Changing scale, for example the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions
Type: Journal Article
DOI Link:
Rights: Published in Theory in Biosciences by Springer.; The final publication is available at
Notes: Theory in Biosciences, 130(1):19-29, Special Issue on Emerging Modelling Methodologies in Medicine, 2011, DOI 10.1007/s12064-010-0106-8
Affiliation: University of Stirling
University of Liverpool
Mathematics - CSM Dept
Computing Science - CSM Dept

Files in This Item:

File Description SizeFormat
A Rigorous approach to investigating.pdf195.71 kBAdobe PDFView/Open

This item is protected by original copyright

Recommend this item

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.


Valid XHTML 1.0! Repository Service Operated by Information Services, University of Stirling
Powered by DSpace Software Copyright © 2002-2010  Duraspace - Feedback