{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T14:51:14Z","timestamp":1773067874663,"version":"3.50.1"},"reference-count":52,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.441.2","type":"journal-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T12:09:49Z","timestamp":1772539789000},"page":"19-45","source":"Crossref","is-referenced-by-count":0,"title":["Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels"],"prefix":"10.4204","volume":"441","author":[{"given":"Giorgio","family":"Audrito","sequence":"first","affiliation":[{"name":"Department of Computer Science (DI) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Bortoluzzi","sequence":"additional","affiliation":[{"name":"Department of Computer Science (DI) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Department of Computer Science (DI) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giordano","family":"Scarso","sequence":"additional","affiliation":[{"name":"Department of Computer Science (DI) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Torta","sequence":"additional","affiliation":[{"name":"Department of Computer Science (DI) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Basso","sequence":"additional","affiliation":[{"name":"MITO Technology, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica","family":"Cochi","sequence":"additional","affiliation":[{"name":"Torino Airport"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Gusman","sequence":"additional","affiliation":[{"name":"Torino Airport"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Comba","sequence":"additional","affiliation":[{"name":"Department of Agricultural, Forest and Food Sciences (DiSAFA) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Gay","sequence":"additional","affiliation":[{"name":"Department of Agricultural, Forest and Food Sciences (DiSAFA) University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Dal Zovo","sequence":"additional","affiliation":[{"name":"Concept Engineering Reply, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giada","family":"Galati","sequence":"additional","affiliation":[{"name":"Eurix, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Gallo","sequence":"additional","affiliation":[{"name":"Eurix, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alja\u017e","family":"Grdadolnik","sequence":"additional","affiliation":[{"name":"Faculty of Computer and Information Science University of Ljubljana, Ljubljana, Slovenia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Pescarollo","sequence":"additional","affiliation":[{"name":"Department of Economics and Statistics Cognetti de Martiis, University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Pisano","sequence":"additional","affiliation":[{"name":"Department of Economics and Statistics, Cognetti de Martiis, University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2026,3,4]]},"reference":[{"key":"DBLP:journals\/scp\/AlrahmanNL20","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2020.102428","article-title":"Programming interactions in collective adaptive systems by relying on attribute-based communication","volume":"192","author":"Alrahman","year":"2020","journal-title":"Sci. Comput. Program."},{"key":"FCPP-ACSOS-2020","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/ACSOS49614.2020.00037","article-title":"FCPP: an efficient and extensible field calculus framework","volume-title":"Proceedings of the 1st International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS","author":"Audrito","year":"2020"},{"key":"DBLP:journals\/corr\/abs-1910-02874","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-16(4:1)2020","article-title":"Field-based Coordination with the Share Operator","volume":"16(4)","author":"Audrito","year":"2020","journal-title":"Logical Methods in Computer Science"},{"key":"a:fcuniversality","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-92408-3_1","article-title":"Space-Time Universality of Field Calculus","volume-title":"Coordination Models and Languages","volume":"10852","author":"Audrito","year":"2018"},{"key":"Audrito-et-al:COORDINATION-2024","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-031-62697-5_8","article-title":"An Enhanced Exchange Operator for XC","volume-title":"Coordination Models and Languages","author":"Audrito","year":"2024"},{"key":"DBLP:conf\/ecoop\/AudritoCDSV22","series-title":"LIPIcs","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2022.20","article-title":"Functional Programming for Distributed Systems with XC","volume-title":"36th European Conference on Object-Oriented Programming, ECOOP 2022","volume":"222","author":"Audrito","year":"2022"},{"key":"Audrito-et-al:JSS-2024","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111976","article-title":"The eXchange Calculus (XC): A functional programming language design for distributed collective systems","volume":"210","author":"Audrito","year":"2024","journal-title":"Journal of Systems and Software"},{"key":"DBLP:journals\/jss\/AudritoCDSV21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110908","article-title":"Adaptive distributed monitors of spatial properties for cyber-physical systems","volume":"175","author":"Audrito","year":"2021","journal-title":"J. Syst. Softw."},{"key":"audrito2017ULT","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/SASO.2017.18","article-title":"Compositional Blocks for Optimal Self-Healing Gradients","volume-title":"Self-Adaptive and Self-Organizing Systems (SASO), 2017","author":"Audrito","year":"2017"},{"issue":"1","key":"DBLP:journals\/lmcs\/AudritoCDV23","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-19(1:6)2023","article-title":"Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala","volume":"19","author":"Audrito","year":"2023","journal-title":"Log. Methods Comput. Sci."},{"key":"DBLP:journals\/jss\/AudritoDSTV22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111251","article-title":"Distributed runtime verification by past-CTL and the field calculus","volume":"187","author":"Audrito","year":"2022","journal-title":"J. Syst. Softw."},{"key":"DBLP:conf\/isola\/AudritoDT22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-031-19759-8_19","article-title":"Bringing Aggregate Programming Towards the Cloud","volume-title":"11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Proceedings, Part III","volume":"13703","author":"Audrito","year":"2022"},{"key":"a:rtssgradient","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/RTSS.2018.00013","article-title":"Distributed Real-Time Shortest-Paths Computations with the Field Calculus","volume-title":"2018 IEEE Real-Time Systems Symposium (RTSS)","author":"Audrito","year":"2018"},{"key":"DBLP:conf\/coordination\/AudritoRT22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-031-08143-9_4","article-title":"Extensible 3D Simulation of Aggregated Systems with FCPP","volume-title":"Coordination Models and Languages - 24th International Conference, COORDINATION 2022 Proceedings","volume":"13271","author":"Audrito","year":"2022"},{"issue":"3","key":"DBLP:journals\/tpds\/AudritoTF23","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TPDS.2022.3232633","article-title":"FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems","volume":"34","author":"Audrito","year":"2023","journal-title":"IEEE Trans. Parallel Distributed Syst."},{"key":"DBLP:journals\/scp\/AudritoT24","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.103026","article-title":"FCPP to aggregate them all","volume":"231","author":"Audrito","year":"2024","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"Viroli:HFC-TOCL","doi-asserted-by":"publisher","DOI":"10.1145\/3285956","article-title":"A Higher-Order Calculus of Computational Fields","volume":"20","author":"Audrito","year":"2019","journal-title":"ACM Trans. Comput. Logic"},{"key":"SpatialIGI2013","doi-asserted-by":"publisher","first-page":"436","DOI":"10.4018\/978-1-4666-2092-6.ch016","article-title":"Organizing the Aggregate: Languages for Spatial Computing","volume-title":"Formal and Practical Aspects of Domain-Specific Languages: Recent Developments","author":"Beal","year":"2013"},{"issue":"9","key":"BPV-COMPUTER2015","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261","article-title":"Aggregate Programming for the Internet of Things","volume":"48","author":"Beal","year":"2015","journal-title":"IEEE Computer"},{"issue":"9","key":"DBLP:journals\/computer\/BealPV15","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2015.261","article-title":"Aggregate Programming for the Internet of Things","volume":"48","author":"Beal","year":"2015","journal-title":"Computer"},{"issue":"3","key":"BVPD-TAAS2017","doi-asserted-by":"publisher","DOI":"10.1145\/3105758","article-title":"Self-Adaptation to Device Distribution in the Internet of Things","volume":"12","author":"Beal","year":"2017","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"DBLP:conf\/saso\/CabriH14","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/SASOW.2014.8","article-title":"2nd FOCAS Workshop on Fundamentals of Collective Adaptive Systems","volume-title":"Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014","author":"Cabri","year":"2014"},{"key":"DBLP:journals\/csur\/Casadei23","doi-asserted-by":"publisher","DOI":"10.1145\/3579353","article-title":"Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling","volume":"55","author":"Casadei","year":"2023","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"caadpstv:tosem25","doi-asserted-by":"publisher","DOI":"10.1145\/3712004","article-title":"Software Engineering for Collective Cyber-Physical Ecosystems","volume":"34","author":"Casadei","year":"2025","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"DBLP:conf\/acsos\/CasadeiAPV23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/ACSOS-C58168.2023.00032","article-title":"Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More","volume-title":"IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 - Companion, Toronto, ON, Canada, September 25-29, 2023","author":"Casadei","year":"2023"},{"key":"Casadei:PMLDC16","series-title":"PMLDC '16","doi-asserted-by":"publisher","DOI":"10.1145\/2957319.2957372","article-title":"Towards Aggregate Programming in Scala","volume-title":"First Workshop on Programming Models and Languages for Distributed Computing","author":"Casadei","year":"2016"},{"key":"DBLP:journals\/softx\/CasadeiVAP22","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2022.101248","article-title":"ScaFi: A Scala DSL and Toolkit for Aggregate Programming","volume":"20","author":"Casadei","year":"2022","journal-title":"SoftwareX"},{"key":"Damas-Milner:POPL-1982","series-title":"POPL '82","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/582153.582176","article-title":"Principal Type-schemes for Functional Programs","volume-title":"Symposium on Principles of Programming Languages","author":"Damas","year":"1982"},{"key":"DVB-SCP2016","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.scico.2015.11.005","article-title":"A type-sound calculus of computational fields","volume":"117","author":"Damiani","year":"2016","journal-title":"Science of Computer Programming"},{"key":"DasguptaCDC16","doi-asserted-by":"publisher","first-page":"7282","DOI":"10.1109\/CDC.2016.7799393","article-title":"A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm","volume-title":"Decision and Control (CDC), 2016 IEEE 55th Conference on","author":"Dasgupta","year":"2016"},{"issue":"2","key":"autonomicommunications","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/1186778.1186782","article-title":"A survey of autonomic communications","volume":"1","author":"Dobson","year":"2006","journal-title":"TAAS"},{"key":"kairos","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11502593_12","article-title":"Macro-programming Wireless Sensor Networks Using Kairos","volume-title":"Distributed Computing in Sensor Systems (DCOSS)","author":"Gummadi","year":"2005"},{"issue":"3","key":"FJ","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505","article-title":"Featherweight Java: A Minimal Core Calculus for Java and GJ","volume":"23","author":"Igarashi","year":"2001","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"DBLP:journals\/corr\/abs-1108-5643","article-title":"Collective Adaptive Systems: Challenges Beyond Evolvability","volume":"abs\/1108.5643","author":"Kernbach","year":"2011","journal-title":"CoRR"},{"issue":"7","key":"lamport:events","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, Clocks, and the Ordering of Events in a Distributed System","volume":"21","author":"Lamport","year":"1978","journal-title":"Commun. ACM"},{"issue":"1","key":"DBLP:journals\/corr\/Lluch-LafuenteL16","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-13(1:13)2017","article-title":"Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields","volume":"13","author":"Lluch-Lafuente","year":"2017","journal-title":"Log. Methods Comput. Sci."},{"key":"DBLP:conf\/sfm\/LoretiH16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","article-title":"Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Advanced Lectures","volume":"9700","author":"Loreti","year":"2016"},{"key":"DBLP:journals\/jsa\/MameiMTZ06","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.sysarc.2006.02.002","article-title":"Case studies for self-organization in computer science","volume":"52","author":"Mamei","year":"2006","journal-title":"J. Syst. Archit."},{"key":"Mamei:2004a","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/PERCOM.2004.1276864","article-title":"Programming pervasive and mobile computing applications with the TOTA middleware","volume-title":"Pervasive Computing and Communications, 2004","author":"Mamei","year":"2004"},{"key":"DBLP:conf\/esaw\/MameiZL02","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-39173-8_6","article-title":"Co-Fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems","volume-title":"3rd International Workshop on Engineering Societies in the Agents World","volume":"2577","author":"Mamei","year":"2002"},{"key":"regiment","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1052199.1052213","article-title":"Region Streams: Functional Macroprogramming for Sensor Networks","volume-title":"Workshop on Data Management for Sensor Networks","author":"Newton","year":"2004"},{"key":"DBLP:journals\/scp\/NicolaDIT18","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.scico.2018.08.006","article-title":"AErlang: Empowering Erlang with attribute-based communication","volume":"168","author":"Nicola","year":"2018","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"DBLP:journals\/sttt\/NicolaJW20","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","article-title":"Rigorous engineering of collective adaptive systems: special section","volume":"22","author":"Nicola","year":"2020","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"DBLP:journals\/taas\/NicolaLPT14","doi-asserted-by":"publisher","DOI":"10.1145\/2619998","article-title":"A Formal Approach to Autonomic Systems Programming: The SCEL Language","volume":"9","author":"Nicola","year":"2014","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"nitti2025drone","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1163\/9789004725232_077","article-title":"Drone-swarm based surveillance system for autonomous machine safety functionality","volume-title":"Precision agriculture'25","author":"Nitti","year":"2025"},{"issue":"4","key":"DBLP:journals\/software\/PinciroliB16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/MS.2016.95","article-title":"Buzz: A Programming Language for Robot Swarms","volume":"33","author":"Pinciroli","year":"2016","journal-title":"IEEE Softw."},{"key":"DBLP:journals\/percom\/TestaADT22","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2022.101658","article-title":"Aggregate processes as distributed adaptive services for the Industrial Internet of Things","volume":"85","author":"Testa","year":"2022","journal-title":"Pervasive Mob. Comput."},{"issue":"2","key":"Viroli:TOMACSselfstab","doi-asserted-by":"publisher","DOI":"10.1145\/3177774","article-title":"Engineering Resilient Collective Adaptive Systems by Self-Stabilisation","volume":"28","author":"Viroli","year":"2018","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"DBLP:journals\/jlap\/ViroliBDACP19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100486","article-title":"From distributed coordination to field calculus and aggregate computing","volume":"109","author":"Viroli","year":"2019","journal-title":"J. Log. Algebraic Methods Program."},{"key":"wadaa2010chronus","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-382190-4.00008-5","volume-title":"Chronus: A spatiotemporal macroprogramming language for autonomic wireless sensor networks","volume":"167","author":"Wadaa","year":"2010"},{"issue":"6","key":"wang2024survey","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-40231-1","article-title":"A survey on large language model based autonomous agents","volume":"18","author":"Wang","year":"2024","journal-title":"Frontiers of Computer Science"},{"key":"DBLP:conf\/fmco\/WirsingHTZ11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","article-title":"ASCENS: Engineering Autonomic Service-Component Ensembles","volume-title":"Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Revised Selected Papers","volume":"7542","author":"Wirsing","year":"2011"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T10:17:46Z","timestamp":1773051466000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2603.04008v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,4]]},"references-count":52,"URL":"https:\/\/doi.org\/10.4204\/eptcs.441.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,4]]}}}