{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T19:16:26Z","timestamp":1774984586842,"version":"3.50.1"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031751066","type":"print"},{"value":"9783031751073","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_4","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"49-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Real-Time Aggregate Computing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-0375","authenticated-orcid":false,"given":"Giorgio","family":"Audrito","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"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Abdelzaher, T., et al.: EnviroTrack: towards an environmental computing paradigm for distributed sensor networks. In: Proceedings of the 24th International Conference on Distributed Computing Systems (2004). https:\/\/doi.org\/10.1109\/ICDCS.2004.1281625","DOI":"10.1109\/ICDCS.2004.1281625"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.pmcj.2014.01.008","volume":"16","author":"G Amato","year":"2015","unstructured":"Amato, G., Chessa, S., Gennaro, C., Vairo, C.: Querying moving events in wireless sensor networks. Pervasive Mob. Comput. 16, 51\u201375 (2015). https:\/\/doi.org\/10.1016\/j.pmcj.2014.01.008","journal-title":"Pervasive Mob. Comput."},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Audrito, G.: FCPP: an efficient and extensible field calculus framework. In: International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), pp. 153\u2013159. IEEE (2020). https:\/\/doi.org\/10.1109\/ACSOS49614.2020.00037","DOI":"10.1109\/ACSOS49614.2020.00037"},{"key":"4_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-92408-3_1","volume-title":"COORDINATION 2018","author":"G Audrito","year":"2018","unstructured":"Audrito, G., Beal, J., Damiani, F., Viroli, M.: Space-time universality of field calculus. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 1\u201320. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92408-3_1"},{"key":"4_CR5","unstructured":"Audrito, G., Bergamini, S., Damiani, F., Viroli, M.: Effective collective summarisation of distributed data in mobile multi-agent systems. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 1618\u20131626. International Foundation for Autonomous Agents and Multiagent Systems (2019). http:\/\/dl.acm.org\/citation.cfm?id=3331882"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Damiani, F., Pianini, D., Viroli, M.: Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96(Part), 107580 (2021). https:\/\/doi.org\/10.1016\/J.COMPELECENG.2021.107580","DOI":"10.1016\/J.COMPELECENG.2021.107580"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Damiani, F., Salvaneschi, G., Viroli, M.: Functional programming for distributed systems with XC. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. LIPIcs, vol.\u00a0222, pp. 20:1\u201320:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2022.20","DOI":"10.4230\/LIPICS.ECOOP.2022.20"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111976","volume":"210","author":"G Audrito","year":"2024","unstructured":"Audrito, G., Casadei, R., Damiani, F., Salvaneschi, G., Viroli, M.: The exchange calculus (XC): a functional programming language design for distributed collective systems. J. Syst. Softw. 210, 111976 (2024). https:\/\/doi.org\/10.1016\/j.jss.2024.111976","journal-title":"J. Syst. Softw."},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Damiani, F., Viroli, M.: Computation against a neighbour: addressing large-scale distribution and adaptivity with functional programming and scala. Log. Methods Comput. Sci. 19(1) (2023). https:\/\/doi.org\/10.46298\/LMCS-19(1:6)2023","DOI":"10.46298\/LMCS-19(1:6)2023"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Audrito, G., Damiani, F., Viroli, M.: Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166, 146\u2013166 (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.06.002","DOI":"10.1016\/j.scico.2018.06.002"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Audrito, G., Damiani, F., Viroli, M., Bini, E.: Distributed real-time shortest-paths computations with the field calculus. In: 39th IEEE Real-Time Systems Symposium (RTSS), pp. 23\u201334. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/RTSS.2018.00013","DOI":"10.1109\/RTSS.2018.00013"},{"key":"4_CR12","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-031-08143-9_4","volume-title":"COORDINATION 2022","author":"G Audrito","year":"2022","unstructured":"Audrito, G., Rapetta, L., Torta, G.: Extensible 3D simulation of aggregated systems with FCPP. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION 2022. IFIP Advances in Information and Communication Technology, vol. 13271, pp. 55\u201371. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_4"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TPDS.2022.3232633","volume":"34","author":"G Audrito","year":"2023","unstructured":"Audrito, G., Terraneo, F., Fornaciari, W.: FCPP+miosix: scaling aggregate programming to embedded systems. IEEE Trans. Parallel Distributed Syst. 34(3), 869\u2013880 (2023). https:\/\/doi.org\/10.1109\/TPDS.2022.3232633","journal-title":"IEEE Trans. Parallel Distributed Syst."},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Audrito, G., Torta, G.: FCPP to aggregate them all. Sci. Comput. Program. 231, 103026 (2024). https:\/\/doi.org\/10.1016\/J.SCICO.2023.103026","DOI":"10.1016\/J.SCICO.2023.103026"},{"key":"4_CR15","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. Logic 20(1), 5:1\u20135:55 (2019). https:\/\/doi.org\/10.1145\/3285956","DOI":"10.1145\/3285956"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: languages for spatial computing. In: Mernik, M. (ed.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chap.\u00a016, pp. 436\u2013501. IGI Global (2013)","DOI":"10.4018\/978-1-4666-2092-6.ch016"},{"issue":"9","key":"4_CR17","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2015.261","volume":"48","author":"J Beal","year":"2015","unstructured":"Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. IEEE Comput. 48(9), 22\u201330 (2015). https:\/\/doi.org\/10.1109\/MC.2015.261","journal-title":"IEEE Comput."},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Beal, J., Viroli, M., Pianini, D., Damiani, F.: Self-adaptation to device distribution in the internet of things. ACM Trans. Auton. Adapt. Syst. 12(3), 12:1\u201312:29 (2017). https:\/\/doi.org\/10.1145\/3105758","DOI":"10.1145\/3105758"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Casadei, R., Aguzzi, G., Pianini, D., Viroli, M.: Programming (and learning) self-adaptive & self-organising behaviour with scafi: for swarms, edge-cloud ecosystems, and more. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 - Companion, Toronto, ON, Canada, 25\u201329 September 2023, pp. 33\u201334. IEEE (2023). https:\/\/doi.org\/10.1109\/ACSOS-C58168.2023.00032","DOI":"10.1109\/ACSOS-C58168.2023.00032"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Casadei, R., Viroli, M.: Towards aggregate programming in scala. In: First Workshop on Programming Models and Languages for Distributed Computing, PMLDC 2016, pp. 5:1\u20135:7. ACM, New York (2016). https:\/\/doi.org\/10.1145\/2957319.2957372","DOI":"10.1145\/2957319.2957372"},{"key":"4_CR21","doi-asserted-by":"publisher","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":"4_CR22","unstructured":"Coore, D.: Botanical computing: a developmental approach to generating inter connect topologies on an amorphous computer. Ph.D. thesis, MIT, Cambridge, MA, USA (1999)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.scico.2015.11.005","volume":"117","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Viroli, M., Beal, J.: A type-sound calculus of computational fields. Sci. Comput. Program. 117, 17\u201344 (2016). https:\/\/doi.org\/10.1016\/j.scico.2015.11.005","journal-title":"Sci. Comput. Program."},{"key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20230-8","volume-title":"System Engineering and Automation: An Interactive Educational Approach","author":"JF De Canete","year":"2011","unstructured":"De Canete, J.F., Galindo, C., Garcia-Moral, I.: System Engineering and Automation: An Interactive Educational Approach. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20230-8"},{"issue":"2","key":"4_CR25","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/1186778.1186782","volume":"1","author":"S Dobson","year":"2006","unstructured":"Dobson, S., et al.: A survey of autonomic communications. TAAS 1(2), 223\u2013259 (2006). https:\/\/doi.org\/10.1145\/1186778.1186782","journal-title":"TAAS"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming (ICFP), pp. 263\u2013273. ACM (1997). https:\/\/doi.org\/10.1145\/258948.258973","DOI":"10.1145\/258948.258973"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/11527800_11","volume-title":"Unconventional Programming Paradigms","author":"J-L Giavitto","year":"2005","unstructured":"Giavitto, J.-L., Michel, O., Cohen, J., Spicher, A.: Computations in space and space in computations. In: Ban\u00e2tre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 137\u2013152. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11527800_11"},{"issue":"12","key":"4_CR28","doi-asserted-by":"publisher","first-page":"1628","DOI":"10.1016\/j.jpdc.2012.09.005","volume":"72","author":"F Jabeen","year":"2012","unstructured":"Jabeen, F., Fernandes, A.: An algorithmic strategy for in-network distributed spatial analysis in wireless sensor networks. J. Parallel Distrib. Comput. 72(12), 1628\u20131653 (2012). https:\/\/doi.org\/10.1016\/j.jpdc.2012.09.005","journal-title":"J. Parallel Distrib. Comput."},{"issue":"7","key":"4_CR29","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978). https:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Commun. ACM"},{"key":"4_CR30","unstructured":"Lluch-Lafuente, A., Loreti, M., Montanari, U.: Asynchronous distributed execution of fixpoint-based computational fields. CoRR abs\/1610.00253 (2016)"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Lu, C., Blum, B.M., Abdelzaher, T.F., Stankovic, J.A., He, T.: RAP: a real-time communication architecture for large-scale wireless sensor networks. In: Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, USA, pp. 55\u201366 (2002). https:\/\/doi.org\/10.1109\/RTTAS.2002.1137381","DOI":"10.1109\/RTTAS.2002.1137381"},{"issue":"8\u20139","key":"4_CR32","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.sysarc.2006.02.002","volume":"52","author":"M Mamei","year":"2006","unstructured":"Mamei, M., Menezes, R., Tolksdorf, R., Zambonelli, F.: Case studies for self-organization in computer science. J. Syst. Architect. 52(8\u20139), 443\u2013460 (2006). https:\/\/doi.org\/10.1016\/j.sysarc.2006.02.002","journal-title":"J. Syst. Architect."},{"issue":"4","key":"4_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the tota approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1\u201356 (2009). https:\/\/doi.org\/10.1145\/1538942.1538945","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR34","doi-asserted-by":"publisher","DOI":"10.1016\/J.AUTOMATICA.2022.110583","volume":"146","author":"Y Mo","year":"2022","unstructured":"Mo, Y., Audrito, G., Dasgupta, S., Beal, J.: Near-optimal knowledge-free resilient leader election. Automatica 146, 110583 (2022). https:\/\/doi.org\/10.1016\/J.AUTOMATICA.2022.110583","journal-title":"Automatica"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Newton, R., Welsh, M.: Region streams: functional macroprogramming for sensor networks. In: Workshop on Data Management for Sensor Networks, pp. 78\u201387 (2004)","DOI":"10.1145\/1052199.1052213"},{"key":"4_CR36","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2022.101658","volume":"85","author":"L Testa","year":"2022","unstructured":"Testa, L., Audrito, G., Damiani, F., Torta, G.: Aggregate processes as distributed adaptive services for the industrial internet of things. Pervasive Mob. Comput. 85, 101658 (2022). https:\/\/doi.org\/10.1016\/j.pmcj.2022.101658","journal-title":"Pervasive Mob. Comput."},{"key":"4_CR37","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166772","author":"P Vicaire","year":"2012","unstructured":"Vicaire, P., Hoque, E., Xie, Z., Stankovic, J.A.: Bundle: a group-based programming abstraction for cyber-physical systems. IEEE Trans. Ind. Inform. (2012). https:\/\/doi.org\/10.1109\/TII.2011.2166772","journal-title":"IEEE Trans. Ind. Inform."},{"key":"4_CR38","doi-asserted-by":"publisher","unstructured":"Vicaire, P.A., Xie, Z., Hoque, E., Stankovic, J.A.: Physicalnet: a generic framework for managing and programming across pervasive computing networks. In: Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (2010). https:\/\/doi.org\/10.1109\/RTAS.2010.17","DOI":"10.1109\/RTAS.2010.17"},{"key":"4_CR39","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), 16:1\u201316:28 (2018). https:\/\/doi.org\/10.1145\/3177774","DOI":"10.1145\/3177774"},{"key":"4_CR40","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100486","volume":"109","author":"M Viroli","year":"2019","unstructured":"Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Logical Algebraic Methods Program. 109, 100486 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100486","journal-title":"J. Logical Algebraic Methods Program."},{"key":"4_CR41","doi-asserted-by":"publisher","unstructured":"Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: a neighborhood abstraction for sensor networks. In: Proceedings of MobiSys 2004. ACM Press (2004). https:\/\/doi.org\/10.1145\/990064.990079","DOI":"10.1145\/990064.990079"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:11:35Z","timestamp":1729926695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}