From individuals to populations: A mean field semantics for process algebra

Theoretical Computer Science

Volumn 412, Issue 17, 2011, Pages 1557-1580

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

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Mean field equations; Process algebra; Semantics

Indexed keywords

DISCRETE TIME MARKOV CHAINS; MEAN FIELD; MEAN FIELD EQUATION; PROCESS ALGEBRAS; STATE SPACE; STATE-SPACE EXPLOSION; SYNCHRONOUS CALCULUS OF COMMUNICATING SYSTEMS;

ALGEBRA; MARKOV PROCESSES;

SEMANTICS;

EID: 79952070026     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.09.024     Document Type: Article

References (34)

1. R.M. Anderson, and R.M. May The population-dynamics of micro-parasites and their invertebrate hosts Philosophical transactions of the Royal Society of London Series B 291 1981 451 524
2. J.C.M. Baeten A brief history of process algebra Theoretical Computer Science 335 23 2005 131 146 (Pubitemid 40597311)
3. 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 2002 147 153
4. M. Begon, C.R. Townsend, and J.L. Harper Ecology: From Individuals to Ecosystems 4th ed. 2005 Wiley-Blackwell
5. S. Benkirane, J Hillston, C. McCaig, R. Norman, and C. Shankland Improved continuous approximation of PEPA models through epidemiological examples From Biology to Concurrency and Back FBTC 2008 ENTCS vol. 229 2008 Elsevier 59 74
6. R.J.H. Beverton, and S.J. Holt On the Dynamics of Exploited Fish Populations Fisheries Investigations, Series 2 vol. 19 1957 H.M.S.O.
7. L. Brodo, P. Degano, C. Priami, A tool for quantitative analysis of calculus processes, in: ICALP Satellite Workshops, 2000, pp. 535550.
8. M. Calder, S. Gilmore, J. Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Proceedings of Computational Methods in Systems Biology, CMSB 2005, 2005, pp. 204215.
9. L. Cardelli On process rate semantics Theoretical Computer Science 391 2008 190 215
10. A.M. Dunn, M.J. Hatcher, R.S. Terry, and C. Tofts Evolutionary ecology of vertically transmitted parasites: transovarial transmission of a microsporidian sex ratio distorer in Gammarus duebeni Parasitology 111 1995 S91 S109
11. R.L. Graham, D.E. Knuth, and O. Patashnik Concrete Mathematics: A Foundation for Computer Science 1989 Addison-Wesley
12. M.J. Hatcher, C. Tofts, The evolution of polygenic sex determination with potential for environmental manipulation, Technical Report UMCS-95-4-2, Department of Computer Science, University of Manchester, 1995.
13. J. Hillston Fluid flow approximation of PEPA models QEST'05, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems September 2005 IEEE Computer Society Press Torino 33 42
14. E.G. Coffman Jr., T.T. Kadota, and L.A. Shepp On the asymptotic optimality of first-fit storage allocation IEEE Transactions on Software Engineering 11 1985 235 239 (Pubitemid 15463142)
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 1927 700 721
16. K. Kuratowski Topology: Volume 1 1966 Polish Scientific Publishers
17. T.G. Kurtz Solutions of ordinary differential equations as limits of pure jump Markov processes Journal of Applied Probability 7 1970 49 58
18. S.A. Levin, B. Grenfell, A. Hastings, and A.S. Perelson Mathematical and computational challenges in population biology and ecosystems science Science 275 1997 334 343
19. C. McCaig, From individuals to populations: changing scale in process algebra models of biological systems, Ph.D. Thesis, University of Stirling, 2007. http://hdl.handle.net/1893/398.
20. C. McCaig, M. Begon, R. Norman, C. Shankland, A rigorous approach to investigating common assumptions about disease transmission: process algebra as an emerging modelling methodology for epidemiology, in: Emerging Modelling Methodologies, Theory in Biosciences (2010) (special issue), in press (doi:10.1007/s12064-010-0106-8 ).
21. C. McCaig, M. Begon, R. Norman, C. Shankland, A symbolic investigation of superspreaders, in: Algebraic Biology, Bulletin of Mathematical Biology (2010) (special issue) (in press).
22. C. McCaig, R. Norman, 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://hdl.handle.net/1893/1584.
23. C. McCaig, R. Norman, and C. Shankland From individuals to populations: a symbolic process algebra approach to epidemiology Mathematics in Computer Science 2 3 2009 139 155
24. R Monroy A process algebra model of the immune system Knowledge-Based Intelligent Information and Engineering Systems Lecture Notes in Computer Science vol. 3214 2004 Springer-Verlag 526 533 (Pubitemid 39751470)
25. R. Norman, and C. Shankland Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease Computer Aided Systems Theory EUROCAST 2003 Lecture Notes in Computer Science vol. 2809 2003 Springer-Verlag 404 414 (Pubitemid 37342478)
26. R. Pelnek, Fighting state space explosion: review and evaluation, in: Proc. of Formal Methods for Industrial Critical Systems, FMICS'08, vol. 5596, 2009, pp. 3752.
27. D. Sumpter, From bee to society: an agent based investigation of honeybee colonies, Ph.D. Thesis, UMIST, 2000.
28. D.J.T. Sumpter, and D.S. Broomhead Relating individual behaviour to population dynamics Proceedings of the Royal Society of London Series B 268 2001 925 932 (Pubitemid 32453382)
29. C. Tofts Describing social insect behaviour using process algebra Transactions of the Society for Computer Simulation 9 1992 227 283
30. C. Tofts Processes with probabilities, priority and time Formal Aspects of Computing 6 1994 536 564
31. C. Tofts Exact, analytic, and locally approximate solutions to discrete event-simulation problems Simulation Practice and Theory 6 1998 721 759
32. 1500 states and beyond, Technical Report HPL-2006-121, HP Laboratories, Bristol, 2006.
33. 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 2002 105 112
34. R.W. West, and J.R. Thompson Models for the simple epidemic Mathematical Biosciences 141 1997 29 39