{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:18:32Z","timestamp":1777299512498,"version":"3.51.4"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031510595","type":"print"},{"value":"9783031510601","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_2","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"37-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Actor-Based Designs for\u00a0Distributed Self-organisation Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9149-949X","authenticated-orcid":false,"given":"Roberto","family":"Casadei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4276-7213","authenticated-orcid":false,"given":"Gianluca","family":"Torta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2702-5702","authenticated-orcid":false,"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"2_CR2","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-031-08143-9_5","volume-title":"Coordination Models and Languages","author":"G Aguzzi","year":"2022","unstructured":"Aguzzi, G., Casadei, R., Viroli, M.: Towards reinforcement learning-based aggregate computing. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION 2022. IFIP Advances in Information and Communication Technology, vol. 13271, pp. 72\u201391. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_5"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., et al.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Serv. Orient. Comput. Appl. 8, 323\u2013339 (2014)","journal-title":"Serv. Orient. Comput. Appl."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.jss.2015.01.040","volume":"103","author":"J Arcangeli","year":"2015","unstructured":"Arcangeli, J., Boujbel, R., Leriche, S.: Automatic deployment of distributed software systems: definitions and state of the art. J. Syst. Softw. 103, 198\u2013218 (2015). https:\/\/doi.org\/10.1016\/j.jss.2015.01.040","journal-title":"J. Syst. Softw."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Armstrong, J.: Programming erlang: software for a concurrent world. Program. Erlang 1\u2013548 (2013)","DOI":"10.1007\/978-3-540-73589-2_1"},{"issue":"15","key":"2_CR6","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010). https:\/\/doi.org\/10.1016\/j.comnet.2010.05.010","journal-title":"Comput. Netw."},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Damiani, F., Viroli, M.: Compositional blocks for optimal self-healing gradients. In: SASO, pp. 91\u2013100. IEEE (2017). https:\/\/doi.org\/10.1109\/SASO.2017.18","DOI":"10.1109\/SASO.2017.18"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Audrito, G., Viroli, M., Damiani, F., Pianini, D., Beal, J.: A higher-order calculus of computational fields. ACM Trans. Comput. Log. 20(1), 5:1\u20135:55 (2019). https:\/\/doi.org\/10.1145\/3285956","DOI":"10.1145\/3285956"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-57666-4_15","volume-title":"Formal Aspects of Component Software","author":"M Bagheri","year":"2017","unstructured":"Bagheri, M., Akkaya, I., Khamespanah, E., Khakpour, N., Sirjani, M., Movaghar, A., Lee, E.A.: Coordinated actors for reliable self-adaptive systems. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 241\u2013259. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4_15"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jss.2018.05.034","volume":"143","author":"M Bagheri","year":"2018","unstructured":"Bagheri, M., et al.: Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143, 116\u2013139 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.05.034","journal-title":"J. Syst. Softw."},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1\u201352:34 (2013). https:\/\/doi.org\/10.1145\/2501654.2501666","DOI":"10.1145\/2501654.2501666"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-030-03424-5_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"R El Ballouli","year":"2018","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018, Part III. LNCS, vol. 11246, pp. 304\u2013320. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_20"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.iot.2018.09.005","volume":"3\u20134","author":"LF Bittencourt","year":"2018","unstructured":"Bittencourt, L.F., et al.: The internet of things, fog and cloud continuum: integration and challenges. Internet Things 3\u20134, 134\u2013155 (2018). https:\/\/doi.org\/10.1016\/j.iot.2018.09.005","journal-title":"Internet Things"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"de Boer, F.S., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017). https:\/\/doi.org\/10.1145\/3122848","DOI":"10.1145\/3122848"},{"key":"2_CR15","volume-title":"Multi-agent Oriented Programming: Programming Multi-agent Systems Using JaCaMo","author":"O Boissier","year":"2020","unstructured":"Boissier, O., Bordini, R.H., Hubner, J., Ricci, A.: Multi-agent Oriented Programming: Programming Multi-agent Systems Using JaCaMo. MIT Press, Cambridge (2020)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Santa Fe Institute Studies in the Sciences of Complexity. Oxford University Press, Inc., Oxford (1999)","DOI":"10.1093\/oso\/9780195131581.001.0001"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11721-012-0075-2","volume":"7","author":"M Brambilla","year":"2013","unstructured":"Brambilla, M., Ferrante, E., Birattari, M., Dorigo, M.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7(1), 1\u201341 (2013). https:\/\/doi.org\/10.1007\/s11721-012-0075-2","journal-title":"Swarm Intell."},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-18941-3_1","volume-title":"Formal Methods for Multicore Programming","author":"S Brandauer","year":"2015","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language Encore. In: Bernardo, M., Johnsen, E.B. (eds.) SFM 2015. LNCS, vol. 9104, pp. 1\u201356. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-18941-3_1"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/TSMCC.2007.913919","volume":"38","author":"L Busoniu","year":"2008","unstructured":"Busoniu, L., Babuska, R., Schutter, B.D.: A comprehensive survey of multiagent reinforcement learning. IEEE Trans. Syst. Man Cybern. Part C 38(2), 156\u2013172 (2008). https:\/\/doi.org\/10.1109\/TSMCC.2007.913919","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"2_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/b138812","volume-title":"A Theory of Distributed Objects: Asynchrony-Mobility-Groups-Components","author":"D Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects: Asynchrony-Mobility-Groups-Components. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b138812"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Casadei, R.: Artificial collective intelligence engineering: a survey of concepts and perspectives. Artif. Life 1\u201335 (2023). https:\/\/doi.org\/10.1162\/artl_0408","DOI":"10.1162\/artl_0408"},{"key":"2_CR22","doi-asserted-by":"publisher","DOI":"10.1145\/3579353","author":"R Casadei","year":"2023","unstructured":"Casadei, R.: Macroprogramming: concepts, state of the art, and opportunities of macroscopic behaviour modelling. ACM Comput. Surv. (2023). https:\/\/doi.org\/10.1145\/3579353","journal-title":"ACM Comput. Surv."},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Casadei, R.: Metaphori\/experiment-actor-design-selforg: actor- based Designs for self-organising systems (2023). https:\/\/doi.org\/10.5281\/zenodo.8377727","DOI":"10.5281\/zenodo.8377727"},{"issue":"20","key":"2_CR24","doi-asserted-by":"publisher","first-page":"20136","DOI":"10.1109\/JIOT.2022.3172470","volume":"9","author":"R Casadei","year":"2022","unstructured":"Casadei, R., Fortino, G., Pianini, D., Placuzzi, A., Savaglio, C., Viroli, M.: A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge. IEEE Internet Things J. 9(20), 20136\u201320148 (2022). https:\/\/doi.org\/10.1109\/JIOT.2022.3172470","journal-title":"IEEE Internet Things J."},{"issue":"11","key":"2_CR25","doi-asserted-by":"publisher","first-page":"203","DOI":"10.3390\/fi12110203","volume":"12","author":"R Casadei","year":"2020","unstructured":"Casadei, R., Pianini, D., Placuzzi, A., Viroli, M., Weyns, D.: Pulverization in cyber-physical systems: engineering the self-organizing logic separated from deployment. Future Internet 12(11), 203 (2020). https:\/\/doi.org\/10.3390\/fi12110203","journal-title":"Future Internet"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"101248","DOI":"10.1016\/j.softx.2022.101248","volume":"20","author":"R Casadei","year":"2022","unstructured":"Casadei, R., Viroli, M., Aguzzi, G., Pianini, D.: ScaFi: a scala DSL and toolkit for aggregate programming. SoftwareX 20, 101248 (2022). https:\/\/doi.org\/10.1016\/j.softx.2022.101248","journal-title":"SoftwareX"},{"key":"2_CR27","doi-asserted-by":"publisher","unstructured":"Coullon, H., Henrio, L., Loulergue, F., Robillard, S.: Component-based distributed software reconfiguration: a verification-oriented survey. ACM Comput. Surv. (2023). https:\/\/doi.org\/10.1145\/3595376","DOI":"10.1145\/3595376"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4), 389\u2013397 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00565-0","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494676_1","volume-title":"Engineering Self-Organising Systems","author":"T De Wolf","year":"2005","unstructured":"De Wolf, T., Holvoet, T.: Emergence versus self-organisation: different concepts but promising when combined. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.) ESOA 2004. LNCS (LNAI), vol. 3464, pp. 1\u201315. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494676_1"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0013570","volume-title":"Intelligent Agents III Agent Theories, Architectures, and Languages","author":"S Franklin","year":"1997","unstructured":"Franklin, S., Graesser, A.: Is it an agent, or just a program?: A taxonomy for autonomous agents. In: M\u00fcller, J.P., Wooldridge, M.J., Jennings, N.R. (eds.) ATAL 1996. LNCS, vol. 1193, pp. 21\u201335. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0013570"},{"key":"2_CR31","unstructured":"Gamma, E., Helm, R., Johnson, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Deutschland GmbH (1995)"},{"key":"2_CR32","unstructured":"Gershenson, C.: Design and Control of Self-organizing Systems. CopIt Arxives (2007)"},{"key":"2_CR33","unstructured":"Hewitt, C.: A universal modular actor formalism for artificial intelligence. In: Proceedings of IJCAI (1973)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"issue":"1","key":"2_CR35","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jlamp.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84(1), 67\u201391 (2015). https:\/\/doi.org\/10.1016\/j.jlamp.2014.07.001","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1","key":"2_CR36","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003). https:\/\/doi.org\/10.1109\/MC.2003.1160055","journal-title":"Computer"},{"key":"2_CR37","doi-asserted-by":"publisher","unstructured":"Koster, J.D., Cutsem, T.V., Meuter, W.D.: 43 years of actors: a taxonomy of actor models and their key properties. In: Clebsch, S., Desell, T., Haller, P., Ricci, A. (eds.) Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, 30 October 2016, pp. 31\u201340. ACM (2016). https:\/\/doi.org\/10.1145\/3001886.3001890","DOI":"10.1145\/3001886.3001890"},{"issue":"2","key":"2_CR38","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MPRV.2004.1316820","volume":"3","author":"M Mamei","year":"2004","unstructured":"Mamei, M., Zambonelli, F., Leonardi, L.: Co-fields: a physically inspired approach to motion coordination. IEEE Pervasive Comput. 3(2), 52\u201361 (2004). https:\/\/doi.org\/10.1109\/MPRV.2004.1316820","journal-title":"IEEE Pervasive Comput."},{"issue":"3","key":"2_CR39","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s12064-011-0141-0","volume":"131","author":"G Martius","year":"2012","unstructured":"Martius, G., Herrmann, J.M.: Variants of guided self-organization for robot control. Theory Biosci. 131(3), 129\u2013137 (2012). https:\/\/doi.org\/10.1007\/s12064-011-0141-0","journal-title":"Theory Biosci."},{"key":"2_CR40","unstructured":"Montesi, F.: Choreographic programming. Ph.D. thesis (2014). https:\/\/pure.itu.dk\/ws\/files\/78733848\/m13_phd.pdf"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-36978-3_22","volume-title":"Information Processing in Sensor Networks","author":"R Nagpal","year":"2003","unstructured":"Nagpal, R., Shrobe, H., Bachrach, J.: Organizing a global coordinate system from local information on an ad hoc sensor network. In: Zhao, F., Guibas, L. (eds.) IPSN 2003. LNCS, vol. 2634, pp. 333\u2013348. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36978-3_22"},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Nicola, R.D., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7:1\u20137:29 (2014). https:\/\/doi.org\/10.1145\/2619998","DOI":"10.1145\/2619998"},{"issue":"4","key":"2_CR43","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s10009-020-00555-2","volume":"22","author":"RD Nicola","year":"2020","unstructured":"Nicola, R.D., Maggi, A., Sifakis, J.: The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22(4), 437\u2013455 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00555-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"2_CR44","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1017\/S0269888915000089","volume":"30","author":"HVD Parunak","year":"2015","unstructured":"Parunak, H.V.D., Brueckner, S.A.: Software engineering for self-organizing systems. Knowl. Eng. Rev. 30(4), 419\u2013434 (2015). https:\/\/doi.org\/10.1017\/S0269888915000089","journal-title":"Knowl. Eng. Rev."},{"key":"2_CR45","doi-asserted-by":"publisher","unstructured":"Pianini, D., Casadei, R., Viroli, M., Mariani, S., Zambonelli, F.: Time-fluid field-based coordination through programmable distributed schedulers. Log. Methods Comput. Sci. 17(4) (2021). https:\/\/doi.org\/10.46298\/lmcs-17(4:13)2021","DOI":"10.46298\/lmcs-17(4:13)2021"},{"key":"2_CR46","unstructured":"Roestenburg, R., Williams, R., Bakker, R.: Akka in Action. Simon and Schuster (2016)"},{"key":"2_CR47","doi-asserted-by":"publisher","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4(2), 14:1\u201314:42 (2009). https:\/\/doi.org\/10.1145\/1516533.1516538","DOI":"10.1145\/1516533.1516538"},{"key":"2_CR48","doi-asserted-by":"publisher","unstructured":"Samarasinghe, D., Lakshika, E., Barlow, M., Kasmarik, K.: Automatic synthesis of swarm behavioural rules from their atomic components. In: Aguirre, H.E., Takadama, K. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, 15\u201319 July 2018, pp. 133\u2013140. ACM (2018). https:\/\/doi.org\/10.1145\/3205455.3205546","DOI":"10.1145\/3205455.3205546"},{"key":"2_CR49","doi-asserted-by":"publisher","unstructured":"Singh, V.K., Singh, G., Pande, S.: Emergence, self-organization and collective intelligence - modeling the dynamics of complex collectives in social and organizational settings. In: UKSim, pp. 182\u2013189. IEEE (2013). https:\/\/doi.org\/10.1109\/UKSim.2013.77","DOI":"10.1109\/UKSim.2013.77"},{"issue":"4","key":"2_CR50","first-page":"385","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., De Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fund. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fund. Inform."},{"key":"2_CR51","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77612-3","volume-title":"Evolutionary Swarm Robotics - Evolving Self-organising Behaviours in Groups of Autonomous Robots","author":"V Trianni","year":"2008","unstructured":"Trianni, V.: Evolutionary Swarm Robotics - Evolving Self-organising Behaviours in Groups of Autonomous Robots. Studies in Computational Intelligence, vol. 108. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77612-3"},{"issue":"12","key":"2_CR52","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/583960.583964","volume":"36","author":"CA Varela","year":"2001","unstructured":"Varela, C.A., Agha, G.: Programming dynamically reconfigurable open systems with SALSA. ACM SIGPLAN Not. 36(12), 20\u201334 (2001). https:\/\/doi.org\/10.1145\/583960.583964","journal-title":"ACM SIGPLAN Not."},{"key":"2_CR53","doi-asserted-by":"publisher","unstructured":"Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2) (2018). https:\/\/doi.org\/10.1145\/3177774","DOI":"10.1145\/3177774"},{"key":"2_CR54","doi-asserted-by":"publisher","unstructured":"Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100486","DOI":"10.1016\/j.jlamp.2019.100486"},{"key":"2_CR55","doi-asserted-by":"publisher","unstructured":"Viroli, M., Casadei, R., Pianini, D.: On execution platforms for large-scale aggregate computing. In: Lukowicz, P., Kr\u00fcger, A., Bulling, A., Lim, Y., Patel, S.N. (eds.) Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp Adjunct 2016, Heidelberg, Germany, 12\u201316 September 2016, pp. 1321\u20131326. ACM (2016). https:\/\/doi.org\/10.1145\/2968219.2979129","DOI":"10.1145\/2968219.2979129"},{"key":"2_CR56","doi-asserted-by":"publisher","unstructured":"Wolf, T.D., Holvoet, T.: Designing self-organising emergent systems based on information flows and feedback-loops. In: SASO, pp. 295\u2013298. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/SASO.2007.16","DOI":"10.1109\/SASO.2007.16"},{"key":"2_CR57","volume-title":"An Introduction to MultiAgent Systems","author":"MJ Wooldridge","year":"2009","unstructured":"Wooldridge, M.J.: An Introduction to MultiAgent Systems, 2nd edn. Wiley, Hoboken (2009)","edition":"2"},{"key":"2_CR58","unstructured":"Zhang, K., Yang, Z., Basar, T.: Multi-agent reinforcement learning: a selective overview of theories and algorithms. CoRR abs\/1911.10635 (2019). http:\/\/arxiv.org\/abs\/1911.10635"}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:02:44Z","timestamp":1718373764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}