{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T08:55:02Z","timestamp":1767084902412,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_27","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"512-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Process Algebras and\u00a0Flocks of\u00a0Birds"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Di Stefano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Inverso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serenella","family":"Valiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","unstructured":"Alaliyat, S., Yndestad, H., Sanfilippo, F.: Optimisation of Boids swarm model based on genetic algorithm and particle swarm optimisation algorithm (comparative study). In: Squazzoni, F., Baronio, F., Archetti, C., Castellani, M. (eds.) 28th European Conference on Modelling and Simulation, ECMS 2014, Brescia, Italy, 27\u201330 May 2014, pp. 643\u2013650. European Council for Modeling and Simulation (2014). https:\/\/doi.org\/10.7148\/2014-0643","DOI":"10.7148\/2014-0643"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-63166-6_34","volume-title":"Computer Aided Verification","author":"R Alur","year":"1997","unstructured":"Alur, R., Brayton, R.K., Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Partial-order reduction in symbolic state space exploration. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 340\u2013351. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63166-6_34"},{"key":"27_CR3","doi-asserted-by":"publisher","unstructured":"Ballerini, M., et al.: Interaction ruling animal collective behavior depends on topological rather than metric distance: evidence from a field study. Proc. Nat. Acad. Sci. 105(4), 1232\u20131237 (2008). https:\/\/doi.org\/10.1073\/pnas.0711437105, www.pnas.org\/doi\/abs\/10.1073\/pnas.0711437105","DOI":"10.1073\/pnas.0711437105"},{"issue":"13","key":"27_CR4","doi-asserted-by":"publisher","first-page":"4786","DOI":"10.1073\/pnas.1118633109","volume":"109","author":"W Bialek","year":"2012","unstructured":"Bialek, W., et al.: Statistical mechanics for natural flocks of birds. Proc. Natl. Acad. Sci. 109(13), 4786\u20134791 (2012)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/978-3-319-96145-3_34","volume-title":"Computer Aided Verification","author":"M Blondin","year":"2018","unstructured":"Blondin, M., Esparza, J., Jaax, S.: Peregrine: a tool for the analysis of population protocols. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 604\u2013611. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_34"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"AR Bradley","year":"2011","unstructured":"Bradley, A.R.: SAT-based model checking without unrolling. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 70\u201387. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18275-4_7"},{"key":"27_CR7","series-title":"Universitext","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-70914-7","volume-title":"Functional Analysis, Sobolev Spaces and Partial Differential Equations","author":"H Brezis","year":"2011","unstructured":"Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Universitext, Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-0-387-70914-7"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-030-00302-9_4","volume-title":"Programming with Actors","author":"R Casadei","year":"2018","unstructured":"Casadei, R., Viroli, M.: Programming actor-based collective adaptive systems. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789, pp. 94\u2013122. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00302-9_4"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"EM Clarke","year":"1998","unstructured":"Clarke, E.M., Emerson, E.A., Jha, S., Sistla, A.P.: Symmetry reductions in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 147\u2013158. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0028741"},{"issue":"2","key":"27_CR11","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1017\/S1365100500015029","volume":"4","author":"R Cont","year":"2000","unstructured":"Cont, R., Bouchaud, J.P.: Herd behavior and aggregate fluctuations in financial markets. Macroecon. Dyn. 4(2), 170\u2013196 (2000)","journal-title":"Macroecon. Dyn."},{"issue":"1","key":"27_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jtbi.2002.3065","volume":"218","author":"ID Couzin","year":"2002","unstructured":"Couzin, I.D., Krause, J., James, R., Ruxton, G.D., Franks, N.R.: Collective memory and spatial sorting in animal groups. J. Theor. Biol. 218(1), 1\u201311 (2002)","journal-title":"J. Theor. Biol."},{"issue":"2","key":"27_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.2307\/1536346","volume":"34","author":"W Craig","year":"1918","unstructured":"Craig, W.: Appetites and aversions as constituents of instincts. Biol. Bull. 34(2), 91\u2013107 (1918)","journal-title":"Biol. Bull."},{"key":"27_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.102345","volume":"187","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O.: Multi-agent systems with virtual stigmergy. Sci. Compu. Program. 187, 102345 (2020). https:\/\/doi.org\/10.1016\/j.scico.2019.102345","journal-title":"Sci. Compu. Program."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Deneubourg, J.L., Goss, S., Franks, N., Sendova-Franks, A., Detrain, C., Chr\u00e9tien, L.: The dynamics of collective sorting robot-like ants and ant-like robots. In: From Animals to Animats: Proceedings of the First International Conference on Simulation of Adaptive Behavior, pp. 356\u2013365 (1991)","DOI":"10.7551\/mitpress\/3115.003.0048"},{"issue":"3","key":"27_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3490387","volume":"31","author":"L Di Stefano","year":"2022","unstructured":"Di Stefano, L., De Nicola, R., Inverso, O.: Verification of distributed systems via sequential emulation. ACM Trans. Softw. Eng. Methodol. 31(3), 1\u201341 (2022). https:\/\/doi.org\/10.1145\/3490387","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"27_CR17","doi-asserted-by":"publisher","first-page":"160","DOI":"10.2307\/4081266","volume":"69","author":"JT Emlen","year":"1952","unstructured":"Emlen, J.T.: Flocking behavior in birds. The Auk 69(2), 160\u2013170 (1952)","journal-title":"The Auk"},{"issue":"3\u20134","key":"27_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-2789(03)00102-7","volume":"181","author":"G Gr\u00e9goire","year":"2003","unstructured":"Gr\u00e9goire, G., Chat\u00e9, H., Tu, Y.: Moving and staying together without a leader. Phys. D: Nonlinear Phenom. 181(3\u20134), 157\u2013170 (2003)","journal-title":"Phys. D: Nonlinear Phenom."},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-21690-4_6","volume-title":"Computer Aided Verification","author":"I Konnov","year":"2015","unstructured":"Konnov, I., Veith, H., Widder, J.: SMT and POR beat counter abstraction: parameterized model checking of\u00a0threshold-based distributed algorithms. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 85\u2013102. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_6"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Kouvaros, P., Lomuscio, A.: A counter abstraction technique for the verification of robot swarms. In: Bonet, B., Koenig, S. (eds.) 29th Conference on Artificial Intelligence (AAAI), pp. 2081\u20132088. AAAI (2015)","DOI":"10.1609\/aaai.v29i1.9442"},{"issue":"1\u20132","key":"27_CR21","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0921-8890(99)00066-4","volume":"30","author":"CR Kube","year":"2000","unstructured":"Kube, C.R., Bonabeau, E.: Cooperative transport by ants and robots. Robot. Auton. Syst. 30(1\u20132), 85\u2013101 (2000)","journal-title":"Robot. Auton. Syst."},{"issue":"2\u20134","key":"27_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0162-3095(88)90019-2","volume":"9","author":"KS Norris","year":"1988","unstructured":"Norris, K.S., Schilt, C.R.: Cooperative societies in three-dimensional space: on the origins of aggregations, flocks, and schools, with special reference to dolphins and fish. Ethol. Sociobiol. 9(2\u20134), 149\u2013179 (1988)","journal-title":"Ethol. Sociobiol."},{"key":"27_CR23","doi-asserted-by":"publisher","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. In: Stone, M.C. (ed.) Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, 27\u201331 July 1987, pp. 25\u201334. ACM (1987). https:\/\/doi.org\/10.1145\/37401.37406","DOI":"10.1145\/37401.37406"},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-40922-X_8","volume-title":"Formal Methods in Computer-Aided Design","author":"M Sheeran","year":"2000","unstructured":"Sheeran, M., Singh, S., St\u00e5lmarck, G.: Checking safety properties using induction and a SAT-solver. In: Hunt, W.A., Johnson, S.D. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 127\u2013144. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40922-X_8"},{"issue":"1465","key":"27_CR25","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1098\/rstb.2005.1733","volume":"361","author":"DJ Sumpter","year":"2006","unstructured":"Sumpter, D.J.: The principles of collective animal behaviour. Philos. Trans. Royal Soc. B: Biol. Sci. 361(1465), 5\u201322 (2006)","journal-title":"Philos. Trans. Royal Soc. B: Biol. Sci."},{"key":"27_CR26","unstructured":"Trotter, W.: Instincts of the Herd in Peace and War. TF Unwin Limited (1920)"},{"key":"27_CR27","unstructured":"Valentini, G., Hamann, H., Dorigo, M., et al.: Self-organized collective decision making: the weighted voter model. In: AAMAS, pp. 45\u201352 (2014)"},{"key":"27_CR28","doi-asserted-by":"publisher","DOI":"10.4324\/9781315624860","volume-title":"The Social Insects: Their Origin and Evolution","author":"WM Wheeler","year":"2015","unstructured":"Wheeler, W.M.: The Social Insects: Their Origin and Evolution. Routledge, Abingdon (2015)"},{"key":"27_CR29","series-title":"Internet of Things","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-319-96550-5_8","volume-title":"The Internet of Things for Smart Urban Ecosystems","author":"O Zedadra","year":"2019","unstructured":"Zedadra, O., Guerrieri, A., Jouandeau, N., Spezzano, G., Seridi, H., Fortino, G.: Swarm intelligence and IoT-based smart cities: a review. In: Cicirelli, F., Guerrieri, A., Mastroianni, C., Spezzano, G., Vinci, A. (eds.) The Internet of Things for Smart Urban Ecosystems. IT, pp. 177\u2013200. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-96550-5_8"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T15:43:25Z","timestamp":1728056605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}