From individuals to populations: A symbolic process algebra approach to epidemiology

Mathematics in Computer Science

Volumn 2, Issue 3, 2009, Pages 535-556

  McCaig, Chris ^a   Norman, Rachel ^a   Shankland, Carron ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Epidemiology; Mean field equations; Population dynamics; Process algebra; Symbolic computation

Indexed keywords

EID: 76349119695     PISSN: 16618270     EISSN: 16618289     Source Type: Journal    
DOI: 10.1007/s11786-008-0066-2     Document Type: Article

References (31)

1. E. Ahmed and A. S. Elgazzar. On some applications of cellular automata. Physica A-Statistical Mechanics and its Applications, 296:529-538, 2001.
2. M. Begon, M. Bennet, R. G. Bowers, N. P. French, S. M. Hazel, and J. Turner. A clarification of transmission terms in host-microparasite models: numbers, densities and areas. Epidemiology and infection, 129:147-153, 2002.
3. R. J. H. Beverton and S. J. Holt. On the dynamics of exploited fish populations, volume 19 of Fisheries Investigations, Series 2, H.M.S.O., 1957.
4. A. Brännström and D. J. T. Sumpter. The role of competition and clustering in population dynamics. Proceedings of the Royal Society of London Series B, 272:2065-2072,2005.
5. M. Calder, S. Gilmore, and J. Hillston. Automatically deriving ODEs from process algebra models of signalling pathways. In Proceedings of Computational Methods in Systems Biology (CMSB 2005), pp. 204-215, 2005.
6. M. Calder, S. Gilmore, and J. Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII, 4230:1-23, 2006.
7. L. Cardelli. On process rate semantics. Theoretical Computer Science, 391:190-215, 2008.
8. The CASCADE Collaboration. Survival after introduction of HAART in people with known duration of HIV-1 infection. The Lancet, 355:1158-1159, 2000.
9. General Register Office for Scotland. Scotland's Population 2007: The Registrar General's Annual Review of Demographic Trends. Published on- line: retrieved September 2008. www.gro-scotland.gov.uk/files1/stats/scotlands-population-2007-the-register-generals-annual-review-153rd- edition/scotlands-population-2007-the-register-generals-annual-review- 153rd-edition.pdf.
10. B. Gompertz. On the nature of the function expressive of the law of human mortality, and on a new mode of determining the value of life contingencies. Philosophical transactions of the Royal Society of London Series B, 115:513-585, 1825.
11. M. P. Hassell. Density-dependence in single-species populations. Journal of Animal Ecology, 45:283-296, 1975.
12. Health Protection Agency. New HIV Diagnoses Surveillance Tables: UK data to the end of December 2007. Published online: retrieved August 2008. www.hpa.org.uk/ web/HPAwebFile/HPAweb\_C/1208763421275.
13. J. Hillston. Fluid Flow Approximation of PEPA models. In QEST'05, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, pp. 33-42. IEEE Computer Society Press, 2005.
14. J. Joo and J. L. Lebowitz. Pair approximation of the stochastic susceptible-infected-recovered-susceptible epidemic model on the hypercubic lattice. Physical Review E, 70,2004.
15. W. O. Kermack and A. G. McKendrick. Contributions to the mathematical theory of epidemics i. Proceedings of the Royal Society of London Series A, 115:700-721, 1927.
16. T. Malthus. An Essay on the Principle of Population. J. Johnson, London, 1798.
17. C. McCaig. From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling, 2007.
18. C. McCaig, R. Norman, and C. Shankland. Deriving mean field equations from large process algebra models. Technical Report CSM-175, Department of Computing Science and Mathematics, University of Stirling, March 2008. http://www.cs.stir. ac.uk/research/publications/techreps/pdf/TR175.pdf.
19. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
20. R. Norman and C. Shankland. Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Computer Aided Systems Theory - EUROCAST 2003, vol. 2809 of Lecture Notes in Computer Science, pp. 404-414. Springer Verlag, 2003.
21. Northern Ireland Statistics and Research Agency. Population and vital events, 1926 to 2006. Published online: retrieved September 2008. www.nisra.gov.uk/archive/ demography/publications/annual\_reports/2006/Table1.1\_2006.xls.
22. Office for National Statistics. Birth Statistics: Review of the Registrar General on births and patterns of family building in England and Wales, 2006. Published online: retrieved August 2008. www.statistics.gov.uk/downloads/theme\_population/ FM1\_35/FM1\_No35.PDF.
23. Office for National Statistics. United Kingdom 1971 - 2081. Published online: retrieved August 2008. www.statistics.gov.uk/populationestimates/svg\_pyramid/uk/data/data.xls.
24. A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Shapiro. Bioambients: an abstraction for biological compartments. Theoretical Computer Science, 325:141-167,2004.
25. W. E. Ricker. Stock and recruitment. Journal of the Fisheries Research Board of Canada, 11:559-623, 1954.
26. D. Sumpter. From Bee to Society: an agent based investigation of honeybee colonies. PhD thesis, UMIST, 2000.
27. C. Tofts. Using process algebra to describe social insect behaviour. Transactions of the Society for Computer Simulation, 9:227-283, 1993.
28. C. Tofts. Processes with probabilities, priority and time. Formal Aspects of Computing, 6:536-564, 1994.
29. J. Turner, M. Begon, and R. G. Bowers. Modelling pathogen transmission: the interrelationship between local and global approaches. Proceedings of the Royal Society of London Series B, 270:105-112, 2002.
30. P. F. Verhulst. Notice sur la loi que la population suit dans son accroissement. Corr. Math. et Phys., 10:113-121, 1838.
31. C. R. Wylie. Advanced Engineering Mathematics. McGraw-Hill, 1966.