{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:15:44Z","timestamp":1775769344249,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197581","type":"print"},{"value":"9783031197598","type":"electronic"}],"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-19759-8_19","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T09:07:32Z","timestamp":1666170452000},"page":"301-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Bringing Aggregate Programming Towards the\u00a0Cloud"],"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":[[2022,10,17]]},"reference":[{"key":"19_CR1","unstructured":"Web crawl of the Italian cnr domain in year 2000. https:\/\/law.di.unimi.it\/webdata\/cnr-2000. Accessed 26 May 2022"},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"Alongi, F., Ghielmetti, N., Pau, D., Terraneo, F., Fornaciari, W.: Tiny neural networks for environmental predictions: an integrated approach with miosix. In: IEEE International Conference on Smart Computing, (SMARTCOMP), pp. 350\u2013355. IEEE (2020). https:\/\/doi.org\/10.1109\/SMARTCOMP50058.2020.00076","DOI":"10.1109\/SMARTCOMP50058.2020.00076"},{"key":"19_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":"19_CR4","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":"19_CR5","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Torta, G.: Fostering resilient execution of multi-agent plans through self-organisation. In: ACSOS Companion Volume, pp. 81\u201386. IEEE (2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00076","DOI":"10.1109\/ACSOS-C52956.2021.00076"},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Audrito, G., Casadei, R., Torta, G.: Towards integration of multi-agent planning with self-organising collective processes. In: ACSOS Companion Volume, pp. 297\u2013298. IEEE (2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00042","DOI":"10.1109\/ACSOS-C52956.2021.00042"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Audrito, G., et al.: RM for users\u2019 safety and security in the built environment. In: VORTEX, pp. 13\u201316. ACM (2021). https:\/\/doi.org\/10.1145\/3464974.3468445","DOI":"10.1145\/3464974.3468445"},{"key":"19_CR8","doi-asserted-by":"publisher","unstructured":"Audrito, G., Damiani, F., Stolz, V., Torta, G., Viroli, M.: Distributed runtime verification by past-ctl and the field calculus. J. Syst. Softw. 187, 111251 (2022). https:\/\/doi.org\/10.1016\/j.jss.2022.111251","DOI":"10.1016\/j.jss.2022.111251"},{"key":"19_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102584","volume":"203","author":"G Audrito","year":"2021","unstructured":"Audrito, G., Pianini, D., Damiani, F., Viroli, M.: Aggregate centrality measures for IOT-based coordination. Sci. Comput. Program. 203, 102584 (2021). https:\/\/doi.org\/10.1016\/j.scico.2020.102584","journal-title":"Sci. Comput. Program."},{"key":"19_CR10","doi-asserted-by":"publisher","unstructured":"Audrito, G., Rapetta, L., Torta, G.: Extensible 3d simulation of aggregated systems with FCPP. In: COORDINATION. Lecture Notes in Computer Science, vol. 13271, pp. 55\u201371. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_4","DOI":"10.1007\/978-3-031-08143-9_4"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Audrito, G., Torta, G.: Towards aggregate monitoring of spatio-temporal properties. In: VORTEX, pp. 26\u201329. ACM (2021). https:\/\/doi.org\/10.1145\/3464974.3468448","DOI":"10.1145\/3464974.3468448"},{"key":"19_CR12","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":"19_CR13","doi-asserted-by":"publisher","unstructured":"Backstrom, L., Boldi, P., Rosa, M., Ugander, J., Vigna, S.: Four degrees of separation. In: Web Science 2012, WebSci 2012, Evanston, IL, USA, 22\u201324 June 2012, pp. 33\u201342 (2012). https:\/\/doi.org\/10.1145\/2380718.2380723","DOI":"10.1145\/2380718.2380723"},{"issue":"9","key":"19_CR14","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":"19_CR15","doi-asserted-by":"publisher","unstructured":"Boldi, P., Rosa, M., Santini, M., Vigna, S.: Layered label propagation: a multiresolution coordinate-free ordering for compressing social networks. In: World Wide Web (WWW), pp. 587\u2013596. ACM (2011). https:\/\/doi.org\/10.1145\/1963405.1963488","DOI":"10.1145\/1963405.1963488"},{"key":"19_CR16","doi-asserted-by":"publisher","unstructured":"Boldi, P., Rosa, M., Vigna, S.: Hyperanf: approximating the neighbourhood function of very large graphs on a budget. In: World Wide Web (WWW), pp. 625\u2013634 (2011). https:\/\/doi.org\/10.1145\/1963405.1963493","DOI":"10.1145\/1963405.1963493"},{"key":"19_CR17","doi-asserted-by":"publisher","unstructured":"Boldi, P., Vigna, S.: The webgraph framework I: compression techniques. In: World Wide Web (WWW), pp. 595\u2013602. ACM (2004). https:\/\/doi.org\/10.1145\/988672.988752","DOI":"10.1145\/988672.988752"},{"issue":"1\u20137","key":"19_CR18","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0169-7552(98)00110-X","volume":"30","author":"S Brin","year":"1998","unstructured":"Brin, S., Page, L.: The anatomy of a large-scale hypertextual web search engine. Comput. Netw. 30(1\u20137), 107\u2013117 (1998). https:\/\/doi.org\/10.1016\/S0169-7552(98)00110-X","journal-title":"Comput. Netw."},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Canning, P.S., Cook, W.R., Hill, W.L., Olthoff, W.G., Mitchell, J.C.: F-bounded polymorphism for object-oriented programming. In: 4th International Conference on Functional Programming Languages and Computer Architecture (FPCA), pp. 273\u2013280. ACM (1989). https:\/\/doi.org\/10.1145\/99370.99392","DOI":"10.1145\/99370.99392"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-030-61470-6_21","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","author":"R Casadei","year":"2020","unstructured":"Casadei, R., Viroli, M., Audrito, G., Damiani, F.: FScaFi\u202f: a core calculus for collective adaptive systems programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 344\u2013360. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_21"},{"key":"19_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2020.104081","volume":"97","author":"R Casadei","year":"2021","unstructured":"Casadei, R., Viroli, M., Audrito, G., Pianini, D., Damiani, F.: Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97, 104081 (2021). https:\/\/doi.org\/10.1016\/j.engappai.2020.104081","journal-title":"Eng. Appl. Artif. Intell."},{"key":"19_CR22","doi-asserted-by":"publisher","unstructured":"Datta, S.K., Bonnet, C.: An edge computing architecture integrating virtual iot devices. In: Global Conference on Consumer Electronics (GCCE), pp. 1\u20133 (2017). https:\/\/doi.org\/10.1109\/GCCE.2017.8229253","DOI":"10.1109\/GCCE.2017.8229253"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Flajolet, P., Fusy, \u00c9., Gandouet, O., Meunier, F.: Hyperloglog: the analysis of a near-optimal cardinality estimation algorithm. In: Analysis of Algorithms 2007 (AofA07), pp. 127\u2013146 (2007)","DOI":"10.46298\/dmtcs.3545"},{"key":"19_CR24","doi-asserted-by":"publisher","unstructured":"Li, L., Fan, Y., Tse, M., Lin, K.Y.: A review of applications in federated learning. Comput. Ind. Eng. 149 (2020). https:\/\/doi.org\/10.1016\/j.cie.2020.106854","DOI":"10.1016\/j.cie.2020.106854"},{"key":"19_CR25","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.knosys.2017.08.001","volume":"134","author":"X Liu","year":"2017","unstructured":"Liu, X., Zhou, Y., Guan, X., Shen, C.: A feasible graph partition framework for parallel computing of big graph. Knowl.-Based Syst. 134, 228\u2013239 (2017). https:\/\/doi.org\/10.1016\/j.knosys.2017.08.001","journal-title":"Knowl.-Based Syst."},{"key":"19_CR26","unstructured":"Page, L.: Method for node ranking in a linked database, 4 Sep 2001. US Patent 6,285,999"},{"key":"19_CR27","doi-asserted-by":"publisher","unstructured":"Palmer, C.R., Gibbons, P.B., Faloutsos, C.: ANF: a fast and scalable tool for data mining in massive graphs. In: International Conference on Knowledge Discovery and Data Mining (SIGKDD), pp. 81\u201390 (2002). https:\/\/doi.org\/10.1145\/775047.775059","DOI":"10.1145\/775047.775059"},{"issue":"3","key":"19_CR28","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1057\/jos.2012.27","volume":"7","author":"D Pianini","year":"2013","unstructured":"Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simul. 7(3), 202\u2013215 (2013). https:\/\/doi.org\/10.1057\/jos.2012.27","journal-title":"J. Simul."},{"key":"19_CR29","doi-asserted-by":"publisher","unstructured":"Pianini, D., Viroli, M., Beal, J.: Protelis: practical aggregate programming. In: Symposium on Applied Computing (SAC), pp. 1846\u20131853. ACM (2015). https:\/\/doi.org\/10.1145\/2695664.2695913","DOI":"10.1145\/2695664.2695913"},{"key":"19_CR30","doi-asserted-by":"publisher","unstructured":"Sahlmann, K., Schwotzer, T.: Ontology-based virtual iot devices for edge computing. In: International Conference on the Internet of Things. Association for Computing Machinery (2018). https:\/\/doi.org\/10.1145\/3277593.3277597","DOI":"10.1145\/3277593.3277597"},{"key":"19_CR31","doi-asserted-by":"publisher","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 (2022). https:\/\/doi.org\/10.1016\/j.pmcj.2022.101658","DOI":"10.1016\/j.pmcj.2022.101658"},{"key":"19_CR32","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 Meth. Program. 109 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100486","DOI":"10.1016\/j.jlamp.2019.100486"},{"key":"19_CR33","doi-asserted-by":"publisher","unstructured":"Viroli, M., Casadei, R., Pianini, D.: Simulating large-scale aggregate mass with alchemist and scala. In: Federated Conference on Computer Science and Information Systems (FedCSIS). Annals of Computer Science and Information Systems, vol. 8, pp. 1495\u20131504. IEEE (2016). https:\/\/doi.org\/10.15439\/2016F407","DOI":"10.15439\/2016F407"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19759-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:21:30Z","timestamp":1666221690000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19759-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197581","9783031197598"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19759-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"Rhodes","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}