### Abstract

Original language | English |
---|---|

Pages (from-to) | 19-29 |

Number of pages | 11 |

Journal | Theory in Biosciences |

Volume | 130 |

Issue number | 1 |

Publication status | Published - Aug 2011 |

### Fingerprint

### Keywords

- rigorous approach
- investigating common assumptions
- disease transmission
- epidemiology
- process algebra
- emerging modelling methodology

### Cite this

*Theory in Biosciences*,

*130*(1), 19-29.

}

*Theory in Biosciences*, vol. 130, no. 1, pp. 19-29.

**A rigorous approach to investigating common assumptions about disease transmission.** / McCaig, Chris; Begon, M.; Norman, R.; Shankland, C.

Research output: Contribution to journal › Article

TY - JOUR

T1 - A rigorous approach to investigating common assumptions about disease transmission

AU - McCaig, Chris

AU - Begon, M.

AU - Norman, R.

AU - Shankland, C.

PY - 2011/8

Y1 - 2011/8

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

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

KW - rigorous approach

KW - investigating common assumptions

KW - disease transmission

KW - epidemiology

KW - process algebra

KW - emerging modelling methodology

M3 - Article

VL - 130

SP - 19

EP - 29

JO - Theory in Biosciences

JF - Theory in Biosciences

SN - 1431-7613

IS - 1

ER -