{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:17Z","timestamp":1762459217228},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_25","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T06:54:19Z","timestamp":1410418459000},"page":"424-441","source":"Crossref","is-referenced-by-count":3,"title":["Synchronous Parallel Composition in a Process Calculus for Ecological Models"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Toro","sequence":"first","affiliation":[]},{"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[]},{"given":"Christina","family":"Kassara","sequence":"additional","affiliation":[]},{"given":"Spyros","family":"Sfenthourakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Online PRISM documentation, \n                  \n                    http:\/\/www.prismmodelchecker.org\/doc\/"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-05032-4_24","volume-title":"Software Engineering and Formal Methods","author":"R. Barbuti","year":"2014","unstructured":"Barbuti, R., Bove, P., Schettini, A.M., Milazzo, P., Pardini, G.: A computational formal model of the invasiveness of eastern species in European water frog populations. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol.\u00a08368, pp. 329\u2013344. Springer, Heidelberg (2014)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Rossi, E.: Modelling the dynamics of an aedes albopictus population. In: Proceedings of AMCA-POP 2010. EPTCS, vol.\u00a033, pp. 18\u201336 (2010)","DOI":"10.4204\/EPTCS.33.2"},{"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. Ecological Modeling\u00a0150, 55\u201381 (2002)","journal-title":"Ecological Modeling"},{"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\u00a091(3), 499\u2013514 (2008)","journal-title":"BioSystems"},{"issue":"1","key":"25_CR6","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. Natural Computing\u00a010(1), 39\u201353 (2011)","journal-title":"Natural Computing"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/978-3-540-30479-1_66","volume-title":"Cellular Automata","author":"S.C. Fu","year":"2004","unstructured":"Fu, S.C., Milne, G.: A Flexible Automata Model for Disease Simulation. In: Sloot, P.M.A., Chopard, B., Hoekstra, A.G. (eds.) ACRI 2004. LNCS, vol.\u00a03305, pp. 642\u2013649. Springer, Heidelberg (2004)"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1007\/s10336-011-0802-2","volume":"153","author":"C. Kassara","year":"2012","unstructured":"Kassara, C., Fric, J., Gschweng, M., Sftenthourakis, S.: Complementing the puzzle of Eleonora\u2019s falcon (Falco eleonorae) migration: new evidence from an eastern colony in the Aegean Sea. Journal of Ornithology\u00a0153, 839\u2013848 (2012)","journal-title":"Journal of Ornithology"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-85101-1_11","volume-title":"Algebraic Biology","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.\u00a05147, pp. 139\u2013155. Springer, Heidelberg (2008)"},{"issue":"17","key":"25_CR10","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. Theoretical Computer Science\u00a0412(17), 1557\u20131580 (2011)","journal-title":"Theoretical Computer Science"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer (1980)","DOI":"10.1007\/3-540-10235-3"},{"issue":"1","key":"25_CR12","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. Journal of Foundations of Computer Science\u00a017(1), 183\u2013204 (2006)","journal-title":"Journal of Foundations of Computer Science"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-319-05032-4_25","volume-title":"Software Engineering and Formal Methods","author":"A. Philippou","year":"2014","unstructured":"Philippou, A., Toro, M.: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol.\u00a08368, pp. 345\u2013361. Springer, Heidelberg (2014)"},{"issue":"1","key":"25_CR14","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. Scientific Annals of Computer Science\u00a023(1), 119\u2013167 (2013)","journal-title":"Scientific Annals of Computer Science"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"P\u0103un, G.: Membrane Computing: An Introduction. Springer (2002)","DOI":"10.1007\/978-3-642-56196-2"},{"key":"25_CR16","unstructured":"Ristow, D., Scharlau, W., Wink, M.: Population structure and mortality of Eleonora\u2019s falcon Falco eleonorae. In: Raptors in the Modern World Working Group on Birds of Prey, pp. 321\u2013326 (1989)"},{"key":"25_CR17","first-page":"291","volume":"124","author":"D. Ristow","year":"1983","unstructured":"Ristow, D., Wink, M., Wink, C., Friemann, H.: Biologie des Eleonorenfalken (Falco eleonorae). Das Brutreifealter der Weibchen\u00a0124, 291\u2013293 (1983)","journal-title":"Das Brutreifealter der Weibchen"},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11963516_30","volume-title":"Membrane Computing","author":"F.J. Romero-Campero","year":"2006","unstructured":"Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Ceterchi, R.: Towards Probabilistic Model Checking on P Systems Using PRISM. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 477\u2013495. Springer, Heidelberg (2006)"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"Sumpter, D.J.T., Blanchard, G.B., Broomhear, D.S.: Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour. Bulletin of Mathematical Biology\u00a063, 951\u2013980 (2001)","journal-title":"Bulletin of Mathematical Biology"},{"key":"25_CR20","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":"25_CR21","doi-asserted-by":"crossref","unstructured":"Toro, M., Philippou, A., Kassara, C., Sfendourakis, S.: Synchronous parallel composition in a process calculus for ecological models. Technical report, Department of Computer Science, University of Cyprus (2014), \n                  \n                    http:\/\/www.cs.ucy.ac.cy\/~annap\/spalps-tr.pdf","DOI":"10.1007\/978-3-319-10882-7_25"},{"key":"25_CR22","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11284-011-0912-6","volume":"27","author":"S. Xirouchakis","year":"2012","unstructured":"Xirouchakis, S., Fric, J., Kassara, C., Portolou, D., Dimalexis, A., Karris, G., Barboutis, C., Latsoudis, P., Bourdakis, S., Kakalis, E., Sftenthourakis, S.: Variation in breeding parameters of Eleonora\u2019s falcon (Falco eleonorae) and factors affecting its reproductive performance. Ecological Research\u00a027, 407\u2013416 (2012)","journal-title":"Ecological Research"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:32:52Z","timestamp":1558992772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}