Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. - Rachel Norman; Carron Shankland (EUROCAST, 2003)

Process Algebra Models of Population Dynamics. - Chris McCaig; Rachel Norman; Carron Shankland (AB, 2008)

Improved Continuous Approximation of PEPA Models through Epidemiological Examples. - Soufiene Benkirane; Jane Hillston; Chris McCaig; Rachel Norman; Carron Shankland (FBTC@ICALP, 2008)

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. - Chris McCaig; Rachel Norman; Carron Shankland (Math. Comput. Sci., 2009)

From individuals to populations: A mean field semantics for process algebra. - Chris McCaig; Rachel Norman; Carron Shankland (Theor. Comput. Sci., 2011)

A rigorous approach to investigating common assumptions about disease transmission. - Chris McCaig; Mike Begon; Rachel Norman; Carron Shankland (Theory Biosci., 2011)

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. - Soufiene Benkirane; Rachel Norman; Erin Scott; Carron Shankland (FM, 2012)