Related Experiment Video
Updated: Jun 9, 2026

Trajectory Data Analyses for Pedestrian Space-time Activity Study
Published on: February 25, 2013
A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging
Chris McCaig1, Mike Begon, Rachel Norman
1Department of Computing Science and Mathematics, University of Stirling, Stirling, FK9 4LA, UK. cmc@cs.stir.ac.uk
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.
Related Concept Videos
Steps in Outbreak Investigation
Statistical Methods for Analyzing Epidemiological Data
Introduction to Epidemiology
Causality in Epidemiology
Principles of Disease Surveillance
Mechanistic Models: Compartment Models in Individual and Population Analysis
