{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:51:00Z","timestamp":1762458660635},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851004"},{"type":"electronic","value":"9783540851011"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85101-1_11","type":"book-chapter","created":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T11:21:36Z","timestamp":1217330496000},"page":"139-155","source":"Crossref","is-referenced-by-count":8,"title":["Process Algebra Models of Population Dynamics"],"prefix":"10.1007","author":[{"given":"Chris","family":"McCaig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachel","family":"Norman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carron","family":"Shankland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Malthus, T.: An essay on the principle of population (1798)"},{"key":"11_CR2","first-page":"113","volume":"10","author":"P. Verhulst","year":"1838","unstructured":"Verhulst, P.: Notice sur la loi que la population suit dans son accroissement. Corr. Math. et Phys. 10, 113\u2013121 (1838)","journal-title":"Corr. Math. et Phys."},{"key":"11_CR3","unstructured":"Beverton, R., Holt, S.: On the dynamics of exploited fish populations. Fisheries Investigations, Series 2. H.M.S.O., vol.\u00a019 (1957)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"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\u00a0115, 513\u2013585 (1825)","DOI":"10.1098\/rstl.1825.0026"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"283","DOI":"10.2307\/3863","volume":"45","author":"M. Hassell","year":"1975","unstructured":"Hassell, M.: Density-dependence in single-species populations. Journal of Animal Ecology\u00a045, 283\u2013296 (1975)","journal-title":"Journal of Animal Ecology"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1139\/f54-039","volume":"11","author":"W. Ricker","year":"1954","unstructured":"Ricker, W.: Stock and recruitement. Journal of the Fisheries Research Board of Canada\u00a011, 559\u2013623 (1954)","journal-title":"Journal of the Fisheries Research Board of Canada"},{"key":"11_CR7","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of BioCONCUR 2004","author":"M. Calder","year":"2004","unstructured":"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)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1007\/978-3-540-45210-2_37","volume-title":"Computer Aided Systems Theory - EUROCAST 2003","author":"R. Norman","year":"2003","unstructured":"Norman, R., Shankland, C.: Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-D\u00edaz Jr., R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol.\u00a02809, pp. 404\u2013414. Springer, Heidelberg (2003)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325, 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR10","unstructured":"Sumpter, D.: From Bee to Society: an agent based investigation of honeybee colonies. PhD thesis, UMIST (2000)"},{"key":"11_CR11","first-page":"227","volume":"9","author":"C. Tofts","year":"1993","unstructured":"Tofts, C.: Using process algebra to describe social insect behaviour. Transactions of the Society for Computer Simulation\u00a09, 227\u2013283 (1993)","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BF01211867","volume":"6","author":"C. Tofts","year":"1994","unstructured":"Tofts, C.: Processes with probabilities, priority and time. Formal Aspects of Computing\u00a06, 536\u2013564 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR13","unstructured":"McCaig, C.: From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling (2008), \n                  \n                    www.cs.stir.ac.uk\/~cmc\/thesis.ps"},{"key":"11_CR14","unstructured":"McCaig, C., Norman, R., Shankland, C.: Deriving mean field equations from process algebra models. Technical Report 175, University of Stirling (2008), \n                  \n                    www.cs.stir.ac.uk\/research\/publications\/techreps"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"2065","DOI":"10.1098\/rspb.2005.3185","volume":"272","author":"A. Br\u00e4nnstr\u00f6m","year":"2005","unstructured":"Br\u00e4nnstr\u00f6m, A., Sumpter, D.: The role of competition and clustering in population dynamics. Proceedings of the Royal Society of London Series B\u00a0272, 2065\u20132072 (2005)","journal-title":"Proceedings of the Royal Society of London Series B"},{"key":"11_CR16","unstructured":"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\u2013215 (2005)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/QEST.2005.12","volume-title":"QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid Flow Approximation of PEPA models. In: QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, pp. 33\u201342. IEEE Computer Society Press, Torino (2005)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L.: On process rate semantics. Theoretical Computer Science\u00a0391, 190\u2013215 (2008)","journal-title":"Theoretical Computer Science"},{"key":"11_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S0950268802007148","volume":"129","author":"M. Begon","year":"2002","unstructured":"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\u00a0129, 147\u2013153 (2002)","journal-title":"Epidemiology and infection"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85101-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:28Z","timestamp":1619522068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85101-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851004","9783540851011"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85101-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}