{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T11:17:00Z","timestamp":1673090220228},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T00:00:00Z","timestamp":1283212800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Biosci."],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s12064-010-0106-8","type":"journal-article","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T11:06:24Z","timestamp":1283166384000},"page":"19-29","source":"Crossref","is-referenced-by-count":6,"title":["A rigorous approach to investigating common assumptions about disease transmission"],"prefix":"10.1007","volume":"130","author":[{"given":"Chris","family":"McCaig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Begon","sequence":"additional","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","published-online":{"date-parts":[[2010,8,31]]},"reference":[{"key":"106_CR1","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1098\/rstb.1981.0005","volume":"291","author":"RM Anderson","year":"1981","unstructured":"Anderson RM, May RM (1981) The population-dynamics of micro-parasites and their invertebrate hosts. Philos Trans R Soc B 291:451\u2013524","journal-title":"Philos Trans R Soc B"},{"issue":"2\/3","key":"106_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","volume":"335","author":"JCM Baeten","year":"2005","unstructured":"Baeten JCM (2005) A brief history of process algebra. Theor Comput Sci 335(2\/3):131\u2013146","journal-title":"Theor Comput Sci"},{"key":"106_CR3","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1017\/S0950268802007148","volume":"129","author":"M Begon","year":"2002","unstructured":"Begon M, Bennet M, Bowers RG, French NP, Hazel SM, Turner J (2002) A clarification of transmission terms in host-microparasite models: numbers, densities and areas. Epidemiol Infect 129:147\u2013153","journal-title":"Epidemiol Infect"},{"key":"106_CR4","doi-asserted-by":"crossref","unstructured":"Bernardo M, Degano P, Zavattaro G (eds) (2008) Formal methods for computational systems biology. Lecture notes in computer science, vol 5016. Springer, Berlin","DOI":"10.1007\/978-3-540-68894-5"},{"key":"106_CR5","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1086\/339996","volume":"159","author":"M Boots","year":"2001","unstructured":"Boots M, Sasaki A (2001) Parasite-driven extinction in spatially explicit host-parasite systems. Am Nat 159:706\u2013713","journal-title":"Am Nat"},{"key":"106_CR6","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.tcs.2008.07.008","volume":"408","author":"A Bracciali","year":"2008","unstructured":"Bracciali A, Brunelli M, Cataldo E, Degano P (2008) Synapses as stochastic concurrent systems. Theor Comput Sci 408:66\u201382","journal-title":"Theor Comput Sci"},{"key":"106_CR7","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1086\/285774","volume":"145","author":"CJ Briggs","year":"1995","unstructured":"Briggs CJ, Godfray HCJ (1995) The dynamics of insect-pathogen interactions in stage-structured environments. Am Nat 145:855\u2013887","journal-title":"Am Nat"},{"key":"106_CR8","unstructured":"Calder M, Hillston J (2010) Process algebra modelling styles for biomolecular processes. In: Transactions on computational systems biology XI. Lecture notes in computer science, vol 5750. Springer, Berlin, pp 1\u201325"},{"key":"106_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli L (2008a) From processes to ODEs by chemistry. In: 5th IFIP international conference on theoretical computer science (TCS 2008), international federation for information processing, vol 273. Springer, Boston, pp 261\u2013281","DOI":"10.1007\/978-0-387-09680-3_18"},{"key":"106_CR10","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L Cardelli","year":"2008","unstructured":"Cardelli L (2008b) On process rate semantics. Theor Comput Sci 391:190\u2013215","journal-title":"Theor Comput Sci"},{"key":"106_CR11","doi-asserted-by":"crossref","unstructured":"Ciocchetta F, Hillston J (2010) Bio-PEPA for epidemiological models. In: Fourth international workshop on practical applications of stochastic modelling (PASM09), vol 261 of electronic notes in theoretical computer science. Elsevier, Amsterdam, pp 43\u201369","DOI":"10.1016\/j.entcs.2010.01.005"},{"key":"106_CR12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1342327.1342332","volume":"51","author":"J Cohen","year":"2008","unstructured":"Cohen J (2008) The crucial role of CS in systems and synthetic biology. Commun ACM 51:15\u201318","journal-title":"Commun ACM"},{"key":"106_CR13","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1098\/rspb.2004.2744","volume":"271","author":"SJ Cornell","year":"2004","unstructured":"Cornell SJ, Isham VS, Grenfell BT (2004) Stochastic and spatial dynamics of nematode parasites in farmed ruminants. Proc R Soc B B 271:1243\u20131250","journal-title":"Proc R Soc B"},{"key":"106_CR14","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1006\/jtbi.2001.2322","volume":"210","author":"A Ellner","year":"2001","unstructured":"Ellner A (2001) Pair approximation for lattice models with multiple interaction scales. J Theor Biol 210:435\u2013447","journal-title":"J Theor Biol"},{"key":"106_CR15","doi-asserted-by":"crossref","first-page":"893","DOI":"10.1046\/j.1365-2656.2002.00656.x","volume":"71","author":"A Fenton","year":"2001","unstructured":"Fenton A, Fairbairn JP, Norman RA, Hudson PJ (2001) Parasite transmission: reconciling theory and reality. J Anim Ecol 71:893\u2013905","journal-title":"J Anim Ecol"},{"issue":"25","key":"106_CR16","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical-reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"key":"106_CR17","unstructured":"Hatcher M, Tofts C, Dunn A (1995) The effect of the embryonic bottleneck on vertically transmitted parasites. Proceedings of the 1st conference on information processing in cells, pp 339\u2013353"},{"key":"106_CR18","doi-asserted-by":"crossref","unstructured":"Hillston J (2005) Fluid flow approximation of PEPA models. In: QEST\u201905, proceedings of the 2nd international conference on quantitative evaluation of systems. IEEE Computer Society Press, Torino, pp 33\u201342","DOI":"10.1109\/QEST.2005.12"},{"key":"106_CR19","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0022-5193(05)80572-7","volume":"153","author":"ME Hochberg","year":"1991","unstructured":"Hochberg ME (1991) Non-linear transmission rates and the dynamics of infectious disease. J Theor Biol 153:301\u2013321","journal-title":"J Theor Biol"},{"key":"106_CR20","doi-asserted-by":"crossref","first-page":"036114","DOI":"10.1103\/PhysRevE.70.036114","volume":"70","author":"J Joo","year":"2004","unstructured":"Joo J, Lebowitz JL (2004) Pair approximation of the stochastic susceptible-infected-recovered-susceptible epidemic model on the hypercubic lattice. Phys Rev E 70:036114","journal-title":"Phys Rev E"},{"key":"106_CR21","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0025-5564(80)90018-8","volume":"48","author":"JT Kemper","year":"1980","unstructured":"Kemper JT (1980) Identification of superspreaders for infectious-disease. Math Biosci 48:111\u2013127","journal-title":"Math Biosci"},{"key":"106_CR22","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1098\/rspa.1927.0118","volume":"115","author":"WO Kermack","year":"1927","unstructured":"Kermack WO, McKendrick AG (1927) Contributions to the mathematical theory of epidemics I. Proc R Soc A 115:700\u2013721","journal-title":"Proc R Soc A"},{"key":"106_CR23","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H (2002) Systems biology: a brief overview. Science 295:1662\u20131664","journal-title":"Science"},{"key":"106_CR24","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1046\/j.1365-2656.1998.00219.x","volume":"67","author":"RJ Knell","year":"1998","unstructured":"Knell RJ, Begon M, Thompson DJ (1998) Transmission of Plodia interpunctella granulosis virus does not conform to the mass action model. J Anim Ecol 67:592\u2013599","journal-title":"J Anim Ecol"},{"key":"106_CR25","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"TG Kurtz","year":"1970","unstructured":"Kurtz TG (1970) Solutions of ordinary differential equations as limits of pure jump markov processes. J Appl Probab 7:49\u201358","journal-title":"J Appl Probab"},{"key":"106_CR26","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1143\/PTP.88.1035","volume":"88","author":"H Matsuda","year":"1992","unstructured":"Matsuda H, Ogita N, Sasaki A, Sato K (1992) Statistical mechanics of population - the lattice Lotka Volterra model. Prog Theor Phys 88:1035\u20131049","journal-title":"Prog Theor Phys"},{"key":"106_CR27","unstructured":"McCaig C (2007) From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling. http:\/\/hdl.handle.net\/1893\/398"},{"key":"106_CR28","unstructured":"McCaig C, Norman R, Shankland C (2008) Deriving mean field equations from large process algebra models. Technical Report CSM-175, Department of Computing Science and Mathematics, University of Stirling. http:\/\/hdl.handle.net\/1893\/1584"},{"issue":"3","key":"106_CR29","first-page":"139","volume":"2","author":"C McCaig","year":"2009","unstructured":"McCaig C, Norman R, Shankland C (2009) From individuals to populations: a symbolic process algebra approach to epidemiology. Math Comp Sci 2(3):139\u2013155","journal-title":"Math Comp Sci"},{"key":"106_CR30","doi-asserted-by":"crossref","unstructured":"Milner R (1980) A calculus of communicating systems. Lecture notes in computer science, vol 92. Springer-Verlag, New York","DOI":"10.1007\/3-540-10235-3"},{"key":"106_CR31","doi-asserted-by":"crossref","unstructured":"Norman R, Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Computer aided systems theory\u2014EUROCAST 2003. Lecture notes in computer science, vol 2809. Springer, Berlin, pp 404\u2013414","DOI":"10.1007\/978-3-540-45210-2_37"},{"key":"106_CR32","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00442-009-1373-2","volume":"161","author":"P Nowicki","year":"2009","unstructured":"Nowicki P, Bonelli S, Barbero F, Balletto E (2009) Relative importance of density-dependent regulation and environmental stochasticity for butterfly population dynamics. Oecologia 161:227\u2013239","journal-title":"Oecologia,"},{"key":"106_CR33","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.entcs.2005.12.097","volume":"162","author":"C Priami","year":"2006","unstructured":"Priami C (2006) Process calculi and life science. Electron Notes Theor Comput Sci 162:301\u2013304","journal-title":"Electron Notes Theor Comput Sci"},{"key":"106_CR34","first-page":"1817","volume":"83","author":"SF Railsback","year":"2002","unstructured":"Railsback SF, Harvey BC (2002) Analysis of habitat-selection rules using an individual-based model. Ecology 83:1817\u20131830","journal-title":"Ecology"},{"key":"106_CR35","unstructured":"Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra In: Pacific symposium of biocomputing 2001 (PSB2001), vol 6. pp 459\u2013470"},{"key":"106_CR36","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.mbs.2008.08.007","volume":"216","author":"CJ Rhodes","year":"2008","unstructured":"Rhodes CJ, Anderson RM (2008) Contact rate calculations for a basic epidemic model. Math Biosci 216:56\u201362","journal-title":"Math Biosci"},{"key":"106_CR37","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1098\/rspb.2001.1604","volume":"268","author":"DJT Sumpter","year":"2001","unstructured":"Sumpter DJT, Broomhead DS (2001) Relating individual behaviour to population dynamics. Proc R Soc B 268:925\u2013932","journal-title":"Proc R Soc B"},{"key":"106_CR38","first-page":"227","volume":"9","author":"C Tofts","year":"1993","unstructured":"Tofts C (1993) Using process algebra to describe social insect behaviour. Trans Soc Comput Simul 9:227\u2013283","journal-title":"Trans Soc Comput Simul"},{"key":"106_CR39","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","volume":"6","author":"C Tofts","year":"1994","unstructured":"Tofts C (1994) Processes with probabilities, priority and time. Form Asp Comput 6:536\u2013564","journal-title":"Form Asp Comput"},{"key":"106_CR40","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1098\/rspb.2002.2213","volume":"270","author":"J Turner","year":"2002","unstructured":"Turner J, Begon M, Bowers RG (2002) Modelling pathogen transmission: the interrelationship between local and global approaches. Proc R Soc B 270:105\u2013112","journal-title":"Proc R Soc B"},{"issue":"1","key":"106_CR41","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.jtbi.2007.06.013","volume":"249","author":"SD Webb","year":"2007","unstructured":"Webb SD, Keeling MJ, Boots M (2007a) Host-parasite interactions between the local and the mean-field: How and when does spatial population structure matter? J Theor Biol 249(1):140\u2013152","journal-title":"J Theor Biol"},{"key":"106_CR42","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/j.tpb.2006.07.010","volume":"71","author":"SD Webb","year":"2007","unstructured":"Webb SD, Keeling MJ, Boots M (2007b) Spatially extended host-parasite interactions: the role of recovery and immunity. Theor Popul Biol 71:251\u2013266","journal-title":"Theor Popul Biol"},{"key":"106_CR43","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"J Wing","year":"2006","unstructured":"Wing J (2006) Computational thinking. Commun ACM 49:33\u201335","journal-title":"Commun ACM"}],"container-title":["Theory in Biosciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12064-010-0106-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12064-010-0106-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12064-010-0106-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T16:06:46Z","timestamp":1559491606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12064-010-0106-8"}},"subtitle":["Process algebra as an emerging modelling methodology for epidemiology"],"short-title":[],"issued":{"date-parts":[[2010,8,31]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["106"],"URL":"https:\/\/doi.org\/10.1007\/s12064-010-0106-8","relation":{},"ISSN":["1431-7613","1611-7530"],"issn-type":[{"value":"1431-7613","type":"print"},{"value":"1611-7530","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,31]]}}}