Find out about
 Project Outline
 People
 News
 2010 Workshop
 Publications
 Download Models

Funded by

There are a few things in the pipeline, including a paper on epidemiology and PEPA, and on the application of PEPA to measles.

2010-11

C. McCaig, C. Shankland and R. Norman. From Individuals to Populations: a mean field semantics for process algebra. Theoretical Computer Science, Correct proof in press, 2010. doi:10.1016/j.tcs.2010.09.024. Available online.

C. McCaig, M. Begon, R. Norman, and C. Shankland. A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology. Theory in Biosciences, Special Issue on Emerging Modelling Methodologies in Medicine, 2010. DOI: 10.1007/s12064-010-0106-8. Available online.

C. McCaig, M. Begon, R. Norman, and C. Shankland. A Symbolic Investigation of Superspreaders. Bulletin of Mathematical Biology, Special Issue on Algebraic Biology, 2010. In press.

2009

S. Maharaj, C. McCaig, and C. E. Shankland. Studying the effects of adding spatiality to a process algebra model. in: 8th Workshop on Process Algebra and Stochastically Timed Activities: pp 153-158, Edinburgh, 2009.

Soufiene Benkirane, Carron Shankland, Rachel Norman and Chris McCaig. Modelling the bubonic plague in a prairie dog burrow: a work in progress in: 8th Workshop on Process Algebra and Stochastically Timed Activities: pp 145-152, Edinburgh, 2009.

Chris McCaig, Mike Begon Carron Shankland and Rachel Norman. From individual behaviour to population dynamics: changing scale in models of superspreaders in: 8th Workshop on Process Algebra and Stochastically Timed Activities: pp 159-164, Edinburgh, 2009.

C. McCaig, R. Norman and C. Shankland. From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. Mathematics of Computer Science 2(3):139-155, Special Issue on Symbolic Computation in Biology. Birkhauser/Springer. April 2009. Go to the Springer final version.

2008

S. Benkirane, J. Hillston, C. McCaig, R. Norman and C. Shankland. Improved Continuous Approximation of PEPA Models through Epidemiological Examples. In proceedings of From Biology to Concurrency and back, FBTC 2008. Electronic Notes in Theoretical Computer Science 229(1): 59-74, Elsevier, 2008. preliminary version or go to the Science Direct final version.

C. McCaig, R. Norman and C. Shankland. Process Algebra Models of Population Dynamics. In proceedings of Algebraic Biology, 3rd International Conference, AB 2008. LNCS 5147, Springer-Verlag, pp 139-155, 2008. Preliminary version of the paper or go to the Springer final version.

C. McCaig and R. Norman and C. Shankland", Deriving Mean Field Equations from Large Process Algebra Models, Department of Computing Science and Mathematics Technical Report CSM-175, University of Stirling, March, 2008. pdf

2007

C. McCaig. From individuals to populations: changing scale in process algebra models of biological systems, University of Stirling, 2007.