Process algebra models of population dynamics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5147 LNCS, Issue , 2008, Pages 139-155

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

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BOOLEAN ALGEBRA; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); DYNAMICS; HEALTH; MATRIX ALGEBRA; ORDINARY DIFFERENTIAL EQUATIONS;

DISEASE SPREADING; EQUATION MODELS; INDIVIDUAL-BASED MODELLING; INTERNATIONAL CONFERENCES; MODEL DENSITY; POPULATION GROWTH; PROBABILISTIC MODELLING; PROCESS ALGEBRAS; SYSTEM DYNAMICS;

POPULATION STATISTICS;

EID: 52949102990     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85101-1_11     Document Type: Conference Paper

References (20)

1. Malthus, T.: An essay on the principle of population (1798)
2. Verhulst, P.: Notice sur la loi que la population suit dans son accroissement. Corr. Math, et Phys. 10, 113-121 (1838)
3. Beverton, R., Holt, S.: On the dynamics of exploited fish populations. Fisheries Investigations, Series 2. H.M.S.O., vol. 19 (1957)
4. Gompertz, B.: 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)
5. Hassell, M.: Density-dependence in single-species populations. Journal of Animal Ecology 45, 283-296 (1975)
6. Ricker, W.: Stock and recruitement. Journal of the Fisheries Research Board of Canada 11, 559-623 (1954)
7. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Proceedings of BioCONCUR, 2004. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)
8. Norman, R., Shankland, C.: Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-Diaz Jr., R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol. 2809, pp. 404-414. Springer, Heidelberg (2003)
9. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science 325, 141-167 (2004)
10. Sumpter, D.: From Bee to Society: an agent based investigation of honeybee colonies. PhD thesis, UMlST (2000)
11. Tofts, C.: Using process algebra to describe social insect behaviour. Transactions of the Society for Computer Simulation 9, 227-283 (1993)
12. Tofts, C.: Processes with probabilities, priority and time. Formal Aspects of Computing 6, 536-564 (1994)
13. McCaig. C.: From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling (2008), www.cs.stir.ac.uk/~cmc/thesis.ps
14. McCaig, C., Norman, R., Shankland, C.: Deriving mean field equations from process algebra models. Technical Report 175. University of Stirling (2008), www.cs.stir.ac.uk/research/publications/techreps
15. Brännström, A., Sumpter, D.: The role of competition and clustering in population dynamics. Proceedings of the Royal Society of London Series B 272, 2065-2072 (2005)
16. Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Proceedings of CMSB 2005 (Computational Methods in Systems Biology), pp. 204-215 (2005)
17. Hillston, J.: Fluid Flow Approximation of PEPA models. In: QEST 2005. Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, pp. 33-42. IEEE Computer Society Press, Torino (2005)
18. Cardelli, L.: On process rate semantics. Theoretical Computer Science 391, 190-215 (2008)
19. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
20. Begon, M., Bennet, M., Bowers, R., French, N., Hazel, S., Turner, J.: A clarification of transmission terms in host-microparasite models: numbers, densities and areas. Epidemiology and infection 129, 147-153 (2002)