{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:25:17Z","timestamp":1743056717676,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_25","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"345-361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models"],"prefix":"10.1007","author":[{"given":"Anna","family":"Philippou","sequence":"first","affiliation":[]},{"given":"Mauricio","family":"Toro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"25_CR1","unstructured":"Online PRISM documentation. http:\/\/www.prismmodelchecker.org\/doc\/"},{"issue":"43","key":"25_CR2","doi-asserted-by":"publisher","first-page":"5976","DOI":"10.1016\/j.tcs.2011.01.020","volume":"412","author":"R Barbuti","year":"2011","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: Spatial calculus of looping sequences. Theoret. Comput. Sci. 412(43), 5976\u20136001 (2011)","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20133","key":"25_CR3","first-page":"21","volume":"72","author":"R Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A calculus of looping sequences for modelling microbiological systems. Fund. Inf. 72(1\u20133), 21\u201335 (2006)","journal-title":"Fund. Inf."},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3800(01)00463-X","volume":"150","author":"L Berec","year":"2002","unstructured":"Berec, L.: Techniques of spatially-explicit individual-based models: construction, simulation, and mean-field analysis. Ecol. Model. 150, 55\u201381 (2002)","journal-title":"Ecol. Model."},{"issue":"3","key":"25_CR5","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1016\/j.biosystems.2006.12.011","volume":"91","author":"D Besozzi","year":"2008","unstructured":"Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. BioSystems 91(3), 499\u2013514 (2008)","journal-title":"BioSystems"},{"key":"25_CR6","unstructured":"Bioglio, L., Calcagno, C., Coppo, M., Damiani, F., Sciacca, E., Spinella, S., Troina, A.: A Spatial Calculus of Wrapped Compartments. CoRR, abs\/1108.3426 (2011)"},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11047-010-9191-3","volume":"10","author":"M Cardona","year":"2011","unstructured":"Cardona, M., Colomer, M.A., Margalida, A., Palau, A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Sanuy, D.: A computational modeling for real ecosystems based on P systems. Nat. Comput. 10(1), 39\u201353 (2011)","journal-title":"Nat. Comput."},{"issue":"3\/4","key":"25_CR8","doi-asserted-by":"publisher","first-page":"252","DOI":"10.2166\/hydro.2009.026","volume":"11","author":"Q Chen","year":"2009","unstructured":"Chen, Q., Ye, F., Li, W.: Cellular-automata-based ecological and ecohydraulics modelling. J. Hydroinf. 11(3\/4), 252\u2013272 (2009)","journal-title":"J. Hydroinf."},{"issue":"33\u201334","key":"25_CR9","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoret. Comput. Sci. 410(33\u201334), 3065\u20133084 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR10","unstructured":"Cleaveland, R., L\u00fcttgen, G., Natarajan, V.: Priority in process algebras. Technical report, Langley Research Center, NASA, USA (1999)"},{"issue":"1","key":"25_CR11","first-page":"39","volume":"21","author":"P Dr\u00e1bik","year":"2011","unstructured":"Dr\u00e1bik, P., Maggiolo-Schettini, A., Milazzo, P.: Modular verification of interactive systems with an application to biology. Sci. Ann. Comp. Sci. 21(1), 39\u201372 (2011)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0006-3207(01)00104-5","volume":"102","author":"LR Gerber","year":"2001","unstructured":"Gerber, L.R., VanBlaricom, G.R.: Implications of three viability models for the conservation status of the western population of Steller sea lions (Eumetopias jubatus). Biol. Conserv. 102, 261\u2013269 (2001)","journal-title":"Biol. Conserv."},{"key":"25_CR13","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.jtbi.2013.03.001","volume":"329","author":"C McCaig","year":"2013","unstructured":"McCaig, C., Fenton, A., Graham, A., Shankland, C., Norman, R.: Using process algebra to develop predator\u2013prey models of within-host parasite dynamics. J. Theor. Biol. 329, 74\u201381 (2013)","journal-title":"J. Theor. Biol."},{"key":"25_CR15","series-title":"LNCS","first-page":"139","volume-title":"AB 2008","author":"C McCaig","year":"2008","unstructured":"McCaig, C., Norman, R., Shankland, C.: Process algebra models of population dynamics. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol. 5147, pp. 139\u2013155. Springer, Heidelberg (2008)"},{"issue":"17","key":"25_CR16","doi-asserted-by":"publisher","first-page":"1557","DOI":"10.1016\/j.tcs.2010.09.024","volume":"412","author":"C McCaig","year":"2011","unstructured":"McCaig, C., Norman, R., Shankland, C.: From individuals to populations: a mean field semantics for process algebra. Theoret. Comput. Sci. 412(17), 1557\u20131580 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1 and 2. Inf. Comput. 100, 1\u201377 (1992)","journal-title":"Inf. Comput."},{"issue":"2","key":"25_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/TSE.2008.77","volume":"35","author":"G Norman","year":"2009","unstructured":"Norman, G., Palamidessi, C., Parker, D., Wu, P.: Model checking probabilistic and stochastic extensions of the $$\\pi $$-calculus. IEEE Trans. Softw. Eng. 35(2), 209\u2013223 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR20","unstructured":"Pardini, G.: Formal modelling and simulation of biological systems with spatiality. Ph.D thesis, University of Pisa (2011)"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.biocon.2004.12.006","volume":"123","author":"RG Pearson","year":"2005","unstructured":"Pearson, R.G., Dawson, T.P.: Long-distance plant dispersal and habitat fragmentation: identifying conservation targets for spatial landscape planning under climate change. Biol. Conserv. 123, 389\u2013401 (2005)","journal-title":"Biol. Conserv."},{"issue":"1","key":"25_CR22","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1142\/S0129054106003760","volume":"17","author":"D Pescini","year":"2006","unstructured":"Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P-systems. J. Found. Comput. Sci. 17(1), 183\u2013204 (2006)","journal-title":"J. Found. Comput. Sci."},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Philippou, A., Toro, M.: Process ordering in a process calculus for spatially-explicit ecological models. Technical report, Department of Computer Science, University of Cyprus, 2013. http:\/\/www.cs.ucy.ac.cy\/~annap\/pt-tr.pdf","DOI":"10.1007\/978-3-319-05032-4_25"},{"issue":"1","key":"25_CR24","doi-asserted-by":"publisher","first-page":"119","DOI":"10.7561\/SACS.2013.1.119","volume":"23","author":"A Philippou","year":"2013","unstructured":"Philippou, A., Toro, M., Antonaki, M.: Simulation and verification for a process calculus for spatially-explicit ecological models. Sci. Ann. Comput. Sci. 23(1), 119\u2013167 (2013)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"25_CR25","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1142\/4566","volume-title":"Current Trends in Theoretical Computer Science","author":"G P\u0103un","year":"2001","unstructured":"P\u0103un, G.: Computing with membranes (P systems): an introduction. In: Rozenberg, G., Salomaa, A. (eds.) Current Trends in Theoretical Computer Science, pp. 845\u2013866. World Scientific, Singapore (2001)"},{"issue":"1","key":"25_CR26","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.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoret. Comput. Sci. 325(1), 141\u2013167 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR27","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0304-3800(97)00179-8","volume":"107","author":"GD Ruxton","year":"1998","unstructured":"Ruxton, G.D., Saravia, L.A.: The need for biological realism in the updating of cellular automata models. Ecol. Model. 107, 105\u2013112 (1998)","journal-title":"Ecol. Model."},{"issue":"1470","key":"25_CR28","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1098\/rspb.2001.1604","volume":"268","author":"DJT Sumpter","year":"2001","unstructured":"Sumpter, D.J.T., Broomhead, D.S.: Relating individual behaviour to population dynamics. Proc. Roy. Soc. B: Biol. Sci. 268(1470), 925\u2013932 (2001)","journal-title":"Proc. Roy. Soc. B: Biol. Sci."},{"key":"25_CR29","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 Comput. 6, 536\u2013564 (1994)","journal-title":"Formal Aspects Comput."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:48:28Z","timestamp":1676846908000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}