From individuals to populations: changing scale in process algebra models of biological systems

The problem of changing scale in models of a system is relevant in many different fields. In this thesis we investigate the problem in models of biological systems, particularly infectious disease spread and population dynamics. We investigate this problem using the process algebra \emph{Weighted Synchronous Calculus of Communicating Systems} (WSCCS). In WSCCS we can describe the different types of individual in a population and study the population by placing many of these individuals in parallel. We present an algorithm that allows us to rigorously derive mean field equations (MFE) describing the average change in the population. The algorithm takes into account the Markov chain semantics of WSCCS such that as the system being considered becomes larger, the approximation offered by the MFE tends towards the mean of the Markov chain. The traditional approach to developing population level equations of a system involves making assumptions about the behaviour of the entire population. Our approach means that the population level dynamics explained by the MFE are a direct consequence of the behaviour of individuals, which is more readily observed and measured than the behaviour of the population. In this way we develop MFE models of several different systems and compare the equations obtained to the traditional mathematical models of the system