The eXchange Calculus (XC): A functional programming language design for distributed collective systems
Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal. Typical applications emerge in the context of wireless sensor networks, robot swarms, groups of wearable-augmented people, and computing infr...
Uloženo v:
| Vydáno v: | The Journal of systems and software Ročník 210; s. 111976 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.04.2024
|
| Témata: | |
| ISSN: | 0164-1212 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal. Typical applications emerge in the context of wireless sensor networks, robot swarms, groups of wearable-augmented people, and computing infrastructures. Programming such systems is notoriously hard, due to requirements of scalability, concurrency, faults, and difficulty in making desired collective behaviour ultimately emerge: ad-hoc languages and mechanisms have been proposed threads like spatial computing, macro-programming, and field-based coordination.
In this paper we present the eXchange Calculus (XC), formalising a tiny set of key mechanisms, usable across many different languages and platforms, allowing to express the overall interactive behaviour of distributed collective systems in a declarative way. In this approach, computation (executed in asynchronous rounds), communication (which is neighbour-based), and state over time, are all expressed by a single declarative construct, called exchange. We provide a formalisation of XC in terms of syntax, device-level and network-level semantics, prove a number of properties of the calculus, and discuss applicability considering a smart city scenario. XC is implemented as a DSL in Scala and in C＋＋, with different trade-offs in terms of productivity and platform targetting.
•The eXchange Calculus (XC) is a core functional language for distributed systems.•XC supports macro-level compositional programming of self-organising behaviours.•XC comes with formal proofs on typing, expressiveness, and self-stabilisation.•XC is implemented in Scala and C＋＋ DSLs and evaluated on a smart city scenario.•XC subsumes state-of-the-art field calculi via a single communication primitive. |
|---|---|
| AbstractList | Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal. Typical applications emerge in the context of wireless sensor networks, robot swarms, groups of wearable-augmented people, and computing infrastructures. Programming such systems is notoriously hard, due to requirements of scalability, concurrency, faults, and difficulty in making desired collective behaviour ultimately emerge: ad-hoc languages and mechanisms have been proposed threads like spatial computing, macro-programming, and field-based coordination.
In this paper we present the eXchange Calculus (XC), formalising a tiny set of key mechanisms, usable across many different languages and platforms, allowing to express the overall interactive behaviour of distributed collective systems in a declarative way. In this approach, computation (executed in asynchronous rounds), communication (which is neighbour-based), and state over time, are all expressed by a single declarative construct, called exchange. We provide a formalisation of XC in terms of syntax, device-level and network-level semantics, prove a number of properties of the calculus, and discuss applicability considering a smart city scenario. XC is implemented as a DSL in Scala and in C＋＋, with different trade-offs in terms of productivity and platform targetting.
•The eXchange Calculus (XC) is a core functional language for distributed systems.•XC supports macro-level compositional programming of self-organising behaviours.•XC comes with formal proofs on typing, expressiveness, and self-stabilisation.•XC is implemented in Scala and C＋＋ DSLs and evaluated on a smart city scenario.•XC subsumes state-of-the-art field calculi via a single communication primitive. |
| ArticleNumber | 111976 |
| Author | Audrito, Giorgio Casadei, Roberto Salvaneschi, Guido Damiani, Ferruccio Viroli, Mirko |
| Author_xml | – sequence: 1 givenname: Giorgio surname: Audrito fullname: Audrito, Giorgio email: giorgio.audrito@unito.it organization: Dipartimento di Informatica, University of Turin, Turin, Italy – sequence: 2 givenname: Roberto orcidid: 0000-0001-9149-949X surname: Casadei fullname: Casadei, Roberto email: roby.casadei@unibo.it organization: DISI, Alma Mater Studiorum – Università di Bologna, Cesena, Italy – sequence: 3 givenname: Ferruccio orcidid: 0000-0001-8109-1706 surname: Damiani fullname: Damiani, Ferruccio email: ferruccio.damiani@unito.it organization: Dipartimento di Informatica, University of Turin, Turin, Italy – sequence: 4 givenname: Guido orcidid: 0000-0002-9324-8894 surname: Salvaneschi fullname: Salvaneschi, Guido email: guido.salvaneschi@unisg.ch organization: Institute of Computer Science, University of St.Gallen, St.Gallen, Switzerland – sequence: 5 givenname: Mirko orcidid: 0000-0003-2702-5702 surname: Viroli fullname: Viroli, Mirko email: mirko.viroli@unibo.it organization: DISI, Alma Mater Studiorum – Università di Bologna, Cesena, Italy |
| BookMark | eNp9kD1rwzAQhjWk0KTtD-imsR3iSrbrj3YKpl8Q6JJCNnGWzo6MLAfJDuTfVyGdOmQ6ON7nuPdZkJkdLBJyz1nEGc-euqjzPopZnEac8zLPZmQe9umSxzy-JgvvO8ZYHgJz0m52SHErd2BbpBUYOZnJ04dt9fhCV7SZrBz1YMHQvRtaB32vbUtNSE8QAIVet5Y2g6NK-9HpehpRUTkYgwE8IPVHP2Lvb8lVA8bj3d-8IT_vb5vqc7n-_viqVuulTFI2LqGsC5BMqqzmtawRw8t5o9KyKZKCS5Zw1UDO6_S5jGWegGJZkaV1xgooVJlAckPy813pBu8dNkLqEU4VRgfaCM7EyZHoRHAkTo7E2VEg-T9y73QP7niReT0zGCodNDrhpUYrUWkX-gs16Av0LwgPhSI |
| CitedBy_id | crossref_primary_10_1016_j_jss_2025_112498 crossref_primary_10_3389_fcomp_2025_1587040 crossref_primary_10_1016_j_scico_2025_103366 crossref_primary_10_1016_j_future_2024_04_020 |
| Cites_doi | 10.1145/3522729 10.1007/BF01784241 10.1016/j.future.2020.07.032 10.1007/s10009-020-00565-0 10.1145/3177774 10.1016/j.compeleceng.2021.107580 10.1002/wcm.499 10.1057/jos.2012.27 10.1109/MC.2015.261 10.1109/71.615441 10.1007/s13174-011-0042-y 10.1145/3133905 10.1109/JIOT.2022.3172470 10.1016/j.jss.2021.110908 10.1016/j.comnet.2010.05.010 10.1007/s11721-012-0075-2 10.1016/j.softx.2022.101248 10.1145/2619998 10.1016/j.jss.2022.111251 10.1016/j.engappai.2020.104081 10.1016/j.pmcj.2022.101658 10.1017/S0269888916000175 10.1145/174666.174668 10.1016/j.ic.2007.12.004 10.5753/jisa.2022.2372 10.1145/1151695.1151698 10.1109/TPDS.2022.3232633 10.1145/3285956 10.1145/503502.503505 10.1145/3105758 10.1145/1922649.1922656 10.3390/fi12110203 10.1016/j.scico.2020.102428 10.1145/3276499 10.1145/359545.359563 10.1109/MC.2016.22 10.1145/3579353 |
| ContentType | Journal Article |
| Copyright | 2024 The Authors |
| Copyright_xml | – notice: 2024 The Authors |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.jss.2024.111976 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jss_2024_111976 S0164121224000190 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYOK ABBOA ABDPE ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABWVN ABXDB ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACRPL ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD ADNMO AEBSH AEFWE AEIPS AEKER AENEX AFJKZ AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AKRWK ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC BNPGV CS3 DU5 E.L EBS EFJIC EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSH SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- 9DU AAYWO AAYXX ACLOT ACVFH ADCNI AEUPX AFPUW AGQPQ AIGII AIIUN AKBMS AKYEP APXCP CITATION EFKBS EFLBG ~HD |
| ID | FETCH-LOGICAL-c340t-a9b8ac0cd6b1bcbee1217fd49f8381c031dfa71b4592c73ad06864b608a8d93a3 |
| ISICitedReferencesCount | 15 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001181210300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0164-1212 |
| IngestDate | Tue Nov 18 22:29:46 EST 2025 Sat Nov 29 07:27:06 EST 2025 Sun Apr 06 06:53:47 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Scala DSL C＋＋ DSL Distributed programming Operational semantics Collective computing Type soundness Core calculus |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c340t-a9b8ac0cd6b1bcbee1217fd49f8381c031dfa71b4592c73ad06864b608a8d93a3 |
| ORCID | 0000-0003-2702-5702 0000-0001-8109-1706 0000-0002-9324-8894 0000-0001-9149-949X |
| OpenAccessLink | https://dx.doi.org/10.1016/j.jss.2024.111976 |
| ParticipantIDs | crossref_citationtrail_10_1016_j_jss_2024_111976 crossref_primary_10_1016_j_jss_2024_111976 elsevier_sciencedirect_doi_10_1016_j_jss_2024_111976 |
| PublicationCentury | 2000 |
| PublicationDate | April 2024 2024-04-00 |
| PublicationDateYYYYMMDD | 2024-04-01 |
| PublicationDate_xml | – month: 04 year: 2024 text: April 2024 |
| PublicationDecade | 2020 |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2024 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Viroli, Beal, Damiani, Audrito, Casadei, Pianini (b77) 2019; 109 (b47) 2007; vol. 06361 Gummadi, Gnawali, Govindan (b51) 2005 Weisenburger, Wirth, Salvaneschi (b79) 2020; 53 Lluch-Lafuente, Loreti, Montanari (b55) 2017; 13 Ferscha (b49) 2015 Weisenburger, Köhler, Salvaneschi (b78) 2018; 2 Aguzzi, Casadei, Viroli (b3) 2023; vol. 13908 Damas, Milner (b44) 1982 Pierce (b72) 2002 Morin, Puaut (b61) 1997; 8 Cousot, Cousot (b41) 1992 Abd Alrahman, De Nicola, Loreti (b1) 2020; 192 Casadei (b35) 2023 Audrito, Casadei, Damiani, Stolz, Viroli (b16) 2021; 175 Audrito (b10) 2020 Pianini, Casadei, Viroli (b68) 2022 Beal, Dulman, Usbeck, Viroli, Correll (b28) 2013 Mamei, Zambonelli (b58) 2006 Ghosh, Sheehy, Thorup, Vinoski (b50) 2012; 3 Leroy, Grall (b54) 2009; 207 Murphy, Picco, Roman (b63) 2006; 15 Casadei (b33) 2022 Casadei, Viroli, Audrito, Pianini, Damiani (b40) 2021; 97 Casadei, Pianini, Placuzzi, Viroli, Weyns (b37) 2020; 12 Zhang, Yang, Basar (b80) 2019 Lamport (b53) 1978; 21 Beal (b26) 2009 Dagnino (b42) 2019; 15 Atzori, Iera, Morabito (b9) 2010; 54 Audrito, Beal, Damiani, Viroli (b12) 2018; vol. 10852 Oliveira, Moors, Odersky (b67) 2010 Mamei, Zambonelli (b57) 2004 Ahamad, Neiger, Burns, Kohli, Hutto (b4) 1995; 9 Audrito, Damiani, Stolz, Torta, Viroli (b19) 2022; 187 Pianini, Casadei, Viroli, Natali (b70) 2021; 114 Beal (b27) 2016; 31 Audrito, Casadei, Damiani, Salvaneschi, Viroli (b15) 2022; 8 Doeraene (b48) 2018 Abowd (b2) 2016; 49 Mushtaq, Al-Ars, Bertels (b64) 2011 Audrito, Casadei, Damiani, Viroli (b17) 2017 Casadei, Viroli, Aguzzi, Pianini (b38) 2022; 20 Ancona, Dagnino, Zucca (b7) 2018; vol. 109 Ancona, Dagnino, Zucca (b5) 2017; vol. 10201 Beal, Pianini, Viroli (b29) 2015; 48 Audrito, Damiani, Viroli (b21) 2017; vol. 10319 Igarashi, Pierce, Wadler (b52) 2001; 23 Casadei (b34) 2022 Viroli, Audrito, Beal, Damiani, Pianini (b76) 2018; 28 Brambilla, Ferrante, Birattari, Dorigo (b31) 2013; 7 Mills (b60) 2007; 7 Audrito, Terraneo, Fornaciari (b24) 2023; 34 Audrito, Casadei, Damiani, Salvaneschi, Viroli (b14) 2022; vol. 222 Audrito, Beal, Damiani, Pianini, Viroli (b11) 2020; 16 Masolo, Vieu, Ferrario, Borgo, Porello (b59) 2020; vol. 330 Pianini, Montagna, Viroli (b71) 2013; 7 Casadei, Viroli, Audrito, Pianini, Damiani (b39) 2019; vol. 11533 Testa, Audrito, Damiani, Torta (b74) 2022; 85 De Nicola, Loreti, Pugliese, Tiezzi (b46) 2014; 9 Audrito, Rapetta, Torta (b23) 2022; vol. 13271 Artho, Havelund, Kumar, Yamagata (b8) 2015; vol. 9407 Bures, Gerostathopoulos, Hnetynka, Keznikl, Kit, Plasil (b32) 2013 Dagnino (b43) 2022; 23 Newton, Welsh (b65) 2004 Pianini, Casadei, Viroli, Mariani, Zambonelli (b69) 2021; 17 Malone, Crowston (b56) 1994; 26 Ancona, Dagnino, Zucca (b6) 2017; 1 Beal, Viroli, Pianini, Damiani (b30) 2017; 12 Audrito, Damiani, Viroli, Bini (b22) 2018 (b75) 2004 Audrito, Casadei, Damiani, Pianini, Viroli (b13) 2021 Nicola, Jähnichen, Wirsing (b66) 2020; 22 Audrito, Viroli, Damiani, Pianini, Beal (b25) 2019; 20 Audrito, Casadei, Damiani, Viroli (b18) 2023; 19 Dasgupta, Beal (b45) 2016 Mottola, Picco (b62) 2011; 43 Sene Júnior, Santana, Bulcão-Neto, Porter (b73) 2022; 13 Audrito, Damiani, Torta (b20) 2022; vol. 13703 Casadei, Fortino, Pianini, Placuzzi, Savaglio, Viroli (b36) 2022; 9 Audrito (10.1016/j.jss.2024.111976_b19) 2022; 187 Dasgupta (10.1016/j.jss.2024.111976_b45) 2016 De Nicola (10.1016/j.jss.2024.111976_b46) 2014; 9 Brambilla (10.1016/j.jss.2024.111976_b31) 2013; 7 Casadei (10.1016/j.jss.2024.111976_b34) 2022 Damas (10.1016/j.jss.2024.111976_b44) 1982 Pianini (10.1016/j.jss.2024.111976_b70) 2021; 114 Mottola (10.1016/j.jss.2024.111976_b62) 2011; 43 Audrito (10.1016/j.jss.2024.111976_b23) 2022; vol. 13271 (10.1016/j.jss.2024.111976_b75) 2004 Dagnino (10.1016/j.jss.2024.111976_b42) 2019; 15 Audrito (10.1016/j.jss.2024.111976_b10) 2020 Casadei (10.1016/j.jss.2024.111976_b36) 2022; 9 Ancona (10.1016/j.jss.2024.111976_b6) 2017; 1 Audrito (10.1016/j.jss.2024.111976_b17) 2017 Audrito (10.1016/j.jss.2024.111976_b12) 2018; vol. 10852 Casadei (10.1016/j.jss.2024.111976_b40) 2021; 97 Cousot (10.1016/j.jss.2024.111976_b41) 1992 Audrito (10.1016/j.jss.2024.111976_b16) 2021; 175 Lamport (10.1016/j.jss.2024.111976_b53) 1978; 21 Zhang (10.1016/j.jss.2024.111976_b80) 2019 Audrito (10.1016/j.jss.2024.111976_b13) 2021 Malone (10.1016/j.jss.2024.111976_b56) 1994; 26 Nicola (10.1016/j.jss.2024.111976_b66) 2020; 22 Sene Júnior (10.1016/j.jss.2024.111976_b73) 2022; 13 Pianini (10.1016/j.jss.2024.111976_b68) 2022 Audrito (10.1016/j.jss.2024.111976_b11) 2020; 16 Gummadi (10.1016/j.jss.2024.111976_b51) 2005 (10.1016/j.jss.2024.111976_b47) 2007; vol. 06361 Murphy (10.1016/j.jss.2024.111976_b63) 2006; 15 Audrito (10.1016/j.jss.2024.111976_b20) 2022; vol. 13703 Weisenburger (10.1016/j.jss.2024.111976_b78) 2018; 2 Casadei (10.1016/j.jss.2024.111976_b37) 2020; 12 Mamei (10.1016/j.jss.2024.111976_b58) 2006 Morin (10.1016/j.jss.2024.111976_b61) 1997; 8 Mushtaq (10.1016/j.jss.2024.111976_b64) 2011 Pierce (10.1016/j.jss.2024.111976_b72) 2002 Beal (10.1016/j.jss.2024.111976_b28) 2013 Oliveira (10.1016/j.jss.2024.111976_b67) 2010 Weisenburger (10.1016/j.jss.2024.111976_b79) 2020; 53 Audrito (10.1016/j.jss.2024.111976_b21) 2017; vol. 10319 Newton (10.1016/j.jss.2024.111976_b65) 2004 Bures (10.1016/j.jss.2024.111976_b32) 2013 Aguzzi (10.1016/j.jss.2024.111976_b3) 2023; vol. 13908 Beal (10.1016/j.jss.2024.111976_b27) 2016; 31 Masolo (10.1016/j.jss.2024.111976_b59) 2020; vol. 330 Abowd (10.1016/j.jss.2024.111976_b2) 2016; 49 Audrito (10.1016/j.jss.2024.111976_b18) 2023; 19 Audrito (10.1016/j.jss.2024.111976_b25) 2019; 20 Beal (10.1016/j.jss.2024.111976_b26) 2009 Mills (10.1016/j.jss.2024.111976_b60) 2007; 7 Casadei (10.1016/j.jss.2024.111976_b38) 2022; 20 Ferscha (10.1016/j.jss.2024.111976_b49) 2015 Mamei (10.1016/j.jss.2024.111976_b57) 2004 Ancona (10.1016/j.jss.2024.111976_b5) 2017; vol. 10201 Audrito (10.1016/j.jss.2024.111976_b22) 2018 Abd Alrahman (10.1016/j.jss.2024.111976_b1) 2020; 192 Beal (10.1016/j.jss.2024.111976_b29) 2015; 48 Ahamad (10.1016/j.jss.2024.111976_b4) 1995; 9 Audrito (10.1016/j.jss.2024.111976_b24) 2023; 34 Casadei (10.1016/j.jss.2024.111976_b33) 2022 Audrito (10.1016/j.jss.2024.111976_b15) 2022; 8 Pianini (10.1016/j.jss.2024.111976_b71) 2013; 7 Beal (10.1016/j.jss.2024.111976_b30) 2017; 12 Casadei (10.1016/j.jss.2024.111976_b39) 2019; vol. 11533 Atzori (10.1016/j.jss.2024.111976_b9) 2010; 54 Lluch-Lafuente (10.1016/j.jss.2024.111976_b55) 2017; 13 Ancona (10.1016/j.jss.2024.111976_b7) 2018; vol. 109 Viroli (10.1016/j.jss.2024.111976_b76) 2018; 28 Artho (10.1016/j.jss.2024.111976_b8) 2015; vol. 9407 Leroy (10.1016/j.jss.2024.111976_b54) 2009; 207 Casadei (10.1016/j.jss.2024.111976_b35) 2023 Igarashi (10.1016/j.jss.2024.111976_b52) 2001; 23 Doeraene (10.1016/j.jss.2024.111976_b48) 2018 Audrito (10.1016/j.jss.2024.111976_b14) 2022; vol. 222 Dagnino (10.1016/j.jss.2024.111976_b43) 2022; 23 Viroli (10.1016/j.jss.2024.111976_b77) 2019; 109 Ghosh (10.1016/j.jss.2024.111976_b50) 2012; 3 Testa (10.1016/j.jss.2024.111976_b74) 2022; 85 Pianini (10.1016/j.jss.2024.111976_b69) 2021; 17 |
| References_xml | – volume: 20 year: 2022 ident: b38 article-title: ScaFi: A scala DSL and toolkit for aggregate programming publication-title: SoftwareX – volume: 12 start-page: 203 year: 2020 ident: b37 article-title: Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment publication-title: Future Internet – volume: 21 start-page: 558 year: 1978 end-page: 565 ident: b53 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Commun. ACM – volume: 9 start-page: 7:1 year: 2014 end-page: 7:29 ident: b46 article-title: A formal approach to autonomic systems programming: The SCEL language publication-title: ACM Trans. Auton. Adapt. Syst. – start-page: 91 year: 2017 end-page: 100 ident: b17 article-title: Compositional blocks for optimal self-healing gradients publication-title: Self-Adaptive and Self-Organizing Systems (SASO), 2017 – year: 2022 ident: b34 article-title: scafi/artifact-2021-ecoop-xc: v1.2 – year: 2006 ident: b58 publication-title: Field-Based Coordination for Pervasive Multiagent Systems – volume: 109 year: 2019 ident: b77 article-title: From distributed coordination to field calculus and aggregate computing publication-title: J. Log. Algebraic Methods Program. – volume: 1 start-page: 81:1 year: 2017 end-page: 81:26 ident: b6 article-title: Reasoning on divergent computations with coaxioms publication-title: Proc. ACM Program. Lang. – volume: vol. 10852 start-page: 1 year: 2018 end-page: 20 ident: b12 article-title: Space-time universality of field calculus publication-title: Coordination Models and Languages – volume: 15 start-page: 279 year: 2006 end-page: 328 ident: b63 article-title: LIME: A coordination model and middleware supporting mobility of hosts and agents publication-title: ACM Trans. Softw. Eng. Methodol. – start-page: 341 year: 2010 end-page: 360 ident: b67 article-title: Type classes as objects and implicits publication-title: SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications – volume: 19 year: 2023 ident: b18 article-title: Computation against a neighbour: Addressing large-scale distribution and adaptivity with functional programming and Scala publication-title: Log. Methods Comput. Sci. – year: 2023 ident: b35 article-title: Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling publication-title: ACM Comput. Surv. – volume: 9 start-page: 20136 year: 2022 end-page: 20148 ident: b36 article-title: A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge publication-title: IEEE Internet Things J. – volume: 34 start-page: 869 year: 2023 end-page: 880 ident: b24 article-title: FCPP+Miosix: Scaling aggregate programming to embedded systems publication-title: IEEE Trans. Parallel Distrib. Syst. – volume: 16 year: 2020 ident: b11 article-title: Field-based coordination with the share operator publication-title: Log. Methods Comput. Sci. – year: 2021 ident: b13 article-title: Optimal resilient distributed data collection in mobile edge environments publication-title: Comput. Electr. Eng. – volume: 114 start-page: 44 year: 2021 end-page: 68 ident: b70 article-title: Partitioned integration and coordination via the self-organising coordination regions pattern publication-title: Future Gener. Comput. Syst. – volume: vol. 13271 start-page: 55 year: 2022 end-page: 71 ident: b23 article-title: Extensible 3D simulation of aggregated systems with FCPP publication-title: Coordination Models and Languages - 24th International Conference, COORDINATION 2022 Proceedings – start-page: 263 year: 2004 end-page: 273 ident: b57 article-title: Programming pervasive and mobile computing applications with the TOTA middleware publication-title: Pervasive Computing and Communications, 2004 – start-page: 23 year: 2018 end-page: 34 ident: b22 article-title: Distributed real-time shortest-paths computations with the field calculus publication-title: 2018 IEEE Real-Time Systems Symposium – volume: 7 start-page: 202 year: 2013 end-page: 215 ident: b71 article-title: Chemical-oriented simulation of computational systems with ALCHEMIST publication-title: J. Simul. – volume: vol. 109 start-page: 21:1 year: 2018 end-page: 21:31 ident: b7 article-title: Modeling infinite behaviour by corules publication-title: 32nd European Conference on Object-Oriented Programming – volume: vol. 11533 start-page: 200 year: 2019 end-page: 217 ident: b39 article-title: Aggregate processes in field calculus publication-title: Coordination Models and Languages - 21st International Conference, COORDINATION 2019 Proceedings – volume: vol. 06361 year: 2007 ident: b47 publication-title: Computing Media and Languages for Space-Oriented Computation – volume: 28 start-page: 16:1 year: 2018 end-page: 16:28 ident: b76 article-title: Engineering resilient collective adaptive systems by self-stabilisation publication-title: ACM Trans. Model. Comput. Simul. – volume: 23 year: 2001 ident: b52 article-title: Featherweight Java: A minimal core calculus for Java and GJ publication-title: ACM Trans. Program. Lang. Syst. – volume: vol. 13908 start-page: 31 year: 2023 end-page: 51 ident: b3 article-title: MacroSwarm: A field-based compositional framework for swarm programming publication-title: Coordination Models and Languages - 25th International Conference, COORDINATION’23, Proceedings – volume: 13 start-page: 54 year: 2022 end-page: 65 ident: b73 article-title: The state of the art of macroprogramming in IoT: An update publication-title: J. Internet Serv. Appl. – volume: 13 year: 2017 ident: b55 article-title: Asynchronous distributed execution of fixpoint-based computational fields publication-title: Log. Methods Comput. Sci. – start-page: 153 year: 2020 end-page: 159 ident: b10 article-title: FCPP: an efficient and extensible field calculus framework publication-title: Proceedings of the 1st International Conference on Autonomic Computing and Self-Organizing Systems – volume: vol. 10319 start-page: 59 year: 2017 end-page: 77 ident: b21 article-title: Optimally-self-healing distributed gradient structures through bounded information speed publication-title: COORDINATION 2017 – volume: 187 year: 2022 ident: b19 article-title: Distributed runtime verification by past-CTL and the field calculus publication-title: J. Syst. Softw. – year: 2004 ident: b75 publication-title: Collectives and the Design of Complex Systems – volume: 22 start-page: 389 year: 2020 end-page: 397 ident: b66 article-title: Rigorous engineering of collective adaptive systems: special section publication-title: Int. J. Softw. Tools Technol. Transf. – volume: 26 start-page: 87 year: 1994 end-page: 119 ident: b56 article-title: The interdisciplinary study of coordination publication-title: ACM Comput. Surv. – year: 2019 ident: b80 article-title: Multi-agent reinforcement learning: A selective overview of theories and algorithms – volume: vol. 13703 start-page: 301 year: 2022 end-page: 317 ident: b20 article-title: Bringing aggregate programming towards the cloud publication-title: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Proceedings, Part III – volume: 31 start-page: 325 year: 2016 end-page: 342 ident: b27 article-title: Trading accuracy for speed in approximate consensus publication-title: Knowl. Eng. Rev. – volume: vol. 330 start-page: 186 year: 2020 end-page: 200 ident: b59 article-title: Pluralities, collectives, and composites publication-title: Formal Ontology in Information Systems, Proceedings, FOIS 2020 – volume: vol. 222 start-page: 20:1 year: 2022 end-page: 20:28 ident: b14 article-title: Functional programming for distributed systems with XC publication-title: 36th European Conference on Object-Oriented Programming, ECOOP 2022 – start-page: 126 year: 2005 end-page: 140 ident: b51 article-title: Macro-programming wireless sensor networks using Kairos publication-title: Distributed Computing in Sensor Systems – start-page: 207 year: 1982 end-page: 212 ident: b44 article-title: Principal type-schemes for functional programs publication-title: Symposium on Principles of Programming Languages – volume: 85 year: 2022 ident: b74 article-title: Aggregate processes as distributed adaptive services for the Industrial Internet of Things publication-title: Pervasive Mob. Comput. – start-page: 1 year: 2018 ident: b48 article-title: Cross-platform language design in Scala.js (keynote) publication-title: SCALA@ICFP – volume: 3 start-page: 23 year: 2012 end-page: 30 ident: b50 article-title: Programming language impact on the development of distributed systems publication-title: J. Internet Serv. Appl. – volume: 7 start-page: 1 year: 2013 end-page: 41 ident: b31 article-title: Swarm robotics: a review from the swarm engineering perspective publication-title: Swarm Intell. – start-page: 893 year: 2015 end-page: 895 ident: b49 article-title: Collective adaptive systems publication-title: UbiComp/ISWC Adjunct – volume: 54 start-page: 2787 year: 2010 end-page: 2805 ident: b9 article-title: The Internet of Things: A survey publication-title: Comput. Netw. – volume: 43 start-page: 19:1 year: 2011 end-page: 19:51 ident: b62 article-title: Programming wireless sensor networks: Fundamental concepts and state of the art publication-title: ACM Comput. Surv. – volume: 15 year: 2019 ident: b42 article-title: Coaxioms: flexible coinductive definitions by inference systems publication-title: Log. Methods Comput. Sci. – year: 2002 ident: b72 article-title: Types and Programming Languages – start-page: 1197 year: 2009 end-page: 1201 ident: b26 article-title: Flexible self-healing gradients publication-title: ACM Symposium on Applied Computing, Proceedings – volume: 2 start-page: 129:1 year: 2018 end-page: 129:30 ident: b78 article-title: Distributed system development with ScalaLoci publication-title: Proc. ACM Program. Lang. – volume: 20 start-page: 5:1 year: 2019 end-page: 5:55 ident: b25 article-title: A higher-order calculus of computational fields publication-title: ACM Trans. Comput. Log. – start-page: 436 year: 2013 end-page: 501 ident: b28 article-title: Organizing the aggregate: Languages for spatial computing publication-title: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments – volume: 48 year: 2015 ident: b29 article-title: Aggregate programming for the Internet of Things publication-title: IEEE Comput. – start-page: 83 year: 1992 end-page: 94 ident: b41 article-title: Inductive definitions, semantics and abstract interpretation publication-title: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – volume: 7 start-page: 823 year: 2007 end-page: 834 ident: b60 article-title: A brief survey of self-organization in wireless sensor networks publication-title: Wirel. Commun. Mob. Comput. – volume: vol. 10201 start-page: 29 year: 2017 end-page: 55 ident: b5 article-title: Generalizing inference systems by coaxioms publication-title: Programming Languages and Systems - 26th European Symposium on Programming, ESOP’17, Proceedings – volume: 97 year: 2021 ident: b40 article-title: Engineering collective intelligence at the edge with aggregate processes publication-title: Eng. Appl. Artif. Intell. – volume: 175 year: 2021 ident: b16 article-title: Adaptive distributed monitors of spatial properties for cyber-physical systems publication-title: J. Syst. Softw. – volume: 192 year: 2020 ident: b1 article-title: Programming interactions in collective adaptive systems by relying on attribute-based communication publication-title: Sci. Comput. Program. – start-page: 81 year: 2013 end-page: 90 ident: b32 article-title: DEECO: an ensemble-based component system publication-title: Symposium on Component Based Software Engineering – volume: 53 start-page: 81:1 year: 2020 end-page: 81:35 ident: b79 article-title: A survey of multitier programming publication-title: ACM Comput. Surv. – start-page: 7282 year: 2016 end-page: 7287 ident: b45 article-title: A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm publication-title: Decision and Control (CDC), 2016 IEEE 55th Conference on – volume: vol. 9407 start-page: 1 year: 2015 end-page: 16 ident: b8 article-title: Domain-specific languages with Scala publication-title: ICFEM – volume: 17 year: 2021 ident: b69 article-title: Time-fluid field-based coordination through programmable distributed schedulers publication-title: Log. Methods Comput. Sci. – volume: 8 start-page: 08:1 year: 2022 end-page: 08:4 ident: b15 article-title: Functional programming for distributed systems with XC (artifact) publication-title: Dagstuhl Artifacts Ser. – volume: 23 start-page: 20:1 year: 2022 end-page: 20:50 ident: b43 article-title: A meta-theory for big-step semantics publication-title: ACM Trans. Comput. Log. – start-page: 78 year: 2004 end-page: 87 ident: b65 article-title: Region streams: Functional macroprogramming for sensor networks publication-title: Workshop on Data Management for Sensor Networks – start-page: 12 year: 2011 end-page: 17 ident: b64 article-title: Survey of fault tolerance techniques for shared memory multicore/multiprocessor systems publication-title: International Design and Test Workshop – volume: 207 start-page: 284 year: 2009 end-page: 304 ident: b54 article-title: Coinductive big-step operational semantics publication-title: Inform. and Comput. – start-page: 81 year: 2022 end-page: 90 ident: b68 article-title: Self-stabilising priority-based multi-leader election and network partitioning publication-title: IEEE International Conference on Autonomic Computing and Self-Organizing Systems – volume: 9 start-page: 37 year: 1995 end-page: 49 ident: b4 article-title: Causal memory: Definitions, implementation, and programming publication-title: Distrib. Comput. – volume: 8 start-page: 959 year: 1997 end-page: 969 ident: b61 article-title: A survey of recoverable distributed shared virtual memory systems publication-title: IEEE Trans. Parallel Distrib. Syst. – volume: 49 start-page: 17 year: 2016 end-page: 23 ident: b2 article-title: Beyond weiser: From ubiquitous to collective computing publication-title: Computer – volume: 12 start-page: 12:1 year: 2017 end-page: 12:29 ident: b30 article-title: Self-adaptation to device distribution in the Internet of Things publication-title: ACM Trans. Auton. Adapt. Syst. – year: 2022 ident: b33 article-title: scafi/artifact-2021-ecoop-smartc: v1.2 – start-page: 7282 year: 2016 ident: 10.1016/j.jss.2024.111976_b45 article-title: A Lyapunov analysis for the robust stability of an adaptive Bellman-Ford algorithm – volume: 19 issue: 1 year: 2023 ident: 10.1016/j.jss.2024.111976_b18 article-title: Computation against a neighbour: Addressing large-scale distribution and adaptivity with functional programming and Scala publication-title: Log. Methods Comput. Sci. – volume: 23 start-page: 20:1 issue: 3 year: 2022 ident: 10.1016/j.jss.2024.111976_b43 article-title: A meta-theory for big-step semantics publication-title: ACM Trans. Comput. Log. doi: 10.1145/3522729 – volume: 9 start-page: 37 issue: 1 year: 1995 ident: 10.1016/j.jss.2024.111976_b4 article-title: Causal memory: Definitions, implementation, and programming publication-title: Distrib. Comput. doi: 10.1007/BF01784241 – volume: vol. 13271 start-page: 55 year: 2022 ident: 10.1016/j.jss.2024.111976_b23 article-title: Extensible 3D simulation of aggregated systems with FCPP – start-page: 207 year: 1982 ident: 10.1016/j.jss.2024.111976_b44 article-title: Principal type-schemes for functional programs – start-page: 83 year: 1992 ident: 10.1016/j.jss.2024.111976_b41 article-title: Inductive definitions, semantics and abstract interpretation – volume: vol. 222 start-page: 20:1 year: 2022 ident: 10.1016/j.jss.2024.111976_b14 article-title: Functional programming for distributed systems with XC – start-page: 1 year: 2018 ident: 10.1016/j.jss.2024.111976_b48 article-title: Cross-platform language design in Scala.js (keynote) – volume: vol. 10201 start-page: 29 year: 2017 ident: 10.1016/j.jss.2024.111976_b5 article-title: Generalizing inference systems by coaxioms – volume: 17 issue: 4 year: 2021 ident: 10.1016/j.jss.2024.111976_b69 article-title: Time-fluid field-based coordination through programmable distributed schedulers publication-title: Log. Methods Comput. Sci. – volume: 114 start-page: 44 year: 2021 ident: 10.1016/j.jss.2024.111976_b70 article-title: Partitioned integration and coordination via the self-organising coordination regions pattern publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2020.07.032 – year: 2022 ident: 10.1016/j.jss.2024.111976_b34 – volume: vol. 10319 start-page: 59 year: 2017 ident: 10.1016/j.jss.2024.111976_b21 article-title: Optimally-self-healing distributed gradient structures through bounded information speed – volume: 22 start-page: 389 issue: 4 year: 2020 ident: 10.1016/j.jss.2024.111976_b66 article-title: Rigorous engineering of collective adaptive systems: special section publication-title: Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-020-00565-0 – volume: vol. 330 start-page: 186 year: 2020 ident: 10.1016/j.jss.2024.111976_b59 article-title: Pluralities, collectives, and composites – volume: 28 start-page: 16:1 issue: 2 year: 2018 ident: 10.1016/j.jss.2024.111976_b76 article-title: Engineering resilient collective adaptive systems by self-stabilisation publication-title: ACM Trans. Model. Comput. Simul. doi: 10.1145/3177774 – year: 2021 ident: 10.1016/j.jss.2024.111976_b13 article-title: Optimal resilient distributed data collection in mobile edge environments publication-title: Comput. Electr. Eng. doi: 10.1016/j.compeleceng.2021.107580 – start-page: 1197 year: 2009 ident: 10.1016/j.jss.2024.111976_b26 article-title: Flexible self-healing gradients – volume: 7 start-page: 823 issue: 7 year: 2007 ident: 10.1016/j.jss.2024.111976_b60 article-title: A brief survey of self-organization in wireless sensor networks publication-title: Wirel. Commun. Mob. Comput. doi: 10.1002/wcm.499 – volume: 7 start-page: 202 issue: 3 year: 2013 ident: 10.1016/j.jss.2024.111976_b71 article-title: Chemical-oriented simulation of computational systems with ALCHEMIST publication-title: J. Simul. doi: 10.1057/jos.2012.27 – volume: 109 year: 2019 ident: 10.1016/j.jss.2024.111976_b77 article-title: From distributed coordination to field calculus and aggregate computing publication-title: J. Log. Algebraic Methods Program. – volume: 48 issue: 9 year: 2015 ident: 10.1016/j.jss.2024.111976_b29 article-title: Aggregate programming for the Internet of Things publication-title: IEEE Comput. doi: 10.1109/MC.2015.261 – volume: vol. 10852 start-page: 1 year: 2018 ident: 10.1016/j.jss.2024.111976_b12 article-title: Space-time universality of field calculus – volume: 8 start-page: 959 issue: 9 year: 1997 ident: 10.1016/j.jss.2024.111976_b61 article-title: A survey of recoverable distributed shared virtual memory systems publication-title: IEEE Trans. Parallel Distrib. Syst. doi: 10.1109/71.615441 – volume: 3 start-page: 23 issue: 1 year: 2012 ident: 10.1016/j.jss.2024.111976_b50 article-title: Programming language impact on the development of distributed systems publication-title: J. Internet Serv. Appl. doi: 10.1007/s13174-011-0042-y – volume: 1 start-page: 81:1 issue: OOPSLA year: 2017 ident: 10.1016/j.jss.2024.111976_b6 article-title: Reasoning on divergent computations with coaxioms publication-title: Proc. ACM Program. Lang. doi: 10.1145/3133905 – volume: 9 start-page: 20136 issue: 20 year: 2022 ident: 10.1016/j.jss.2024.111976_b36 article-title: A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge publication-title: IEEE Internet Things J. doi: 10.1109/JIOT.2022.3172470 – volume: 175 year: 2021 ident: 10.1016/j.jss.2024.111976_b16 article-title: Adaptive distributed monitors of spatial properties for cyber-physical systems publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2021.110908 – start-page: 91 year: 2017 ident: 10.1016/j.jss.2024.111976_b17 article-title: Compositional blocks for optimal self-healing gradients – start-page: 126 year: 2005 ident: 10.1016/j.jss.2024.111976_b51 article-title: Macro-programming wireless sensor networks using Kairos – year: 2006 ident: 10.1016/j.jss.2024.111976_b58 – volume: vol. 13908 start-page: 31 year: 2023 ident: 10.1016/j.jss.2024.111976_b3 article-title: MacroSwarm: A field-based compositional framework for swarm programming – volume: 54 start-page: 2787 issue: 15 year: 2010 ident: 10.1016/j.jss.2024.111976_b9 article-title: The Internet of Things: A survey publication-title: Comput. Netw. doi: 10.1016/j.comnet.2010.05.010 – volume: vol. 13703 start-page: 301 year: 2022 ident: 10.1016/j.jss.2024.111976_b20 article-title: Bringing aggregate programming towards the cloud – year: 2019 ident: 10.1016/j.jss.2024.111976_b80 – volume: 7 start-page: 1 issue: 1 year: 2013 ident: 10.1016/j.jss.2024.111976_b31 article-title: Swarm robotics: a review from the swarm engineering perspective publication-title: Swarm Intell. doi: 10.1007/s11721-012-0075-2 – volume: 20 year: 2022 ident: 10.1016/j.jss.2024.111976_b38 article-title: ScaFi: A scala DSL and toolkit for aggregate programming publication-title: SoftwareX doi: 10.1016/j.softx.2022.101248 – volume: 9 start-page: 7:1 issue: 2 year: 2014 ident: 10.1016/j.jss.2024.111976_b46 article-title: A formal approach to autonomic systems programming: The SCEL language publication-title: ACM Trans. Auton. Adapt. Syst. doi: 10.1145/2619998 – volume: 187 year: 2022 ident: 10.1016/j.jss.2024.111976_b19 article-title: Distributed runtime verification by past-CTL and the field calculus publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2022.111251 – start-page: 263 year: 2004 ident: 10.1016/j.jss.2024.111976_b57 article-title: Programming pervasive and mobile computing applications with the TOTA middleware – volume: 13 issue: 1 year: 2017 ident: 10.1016/j.jss.2024.111976_b55 article-title: Asynchronous distributed execution of fixpoint-based computational fields publication-title: Log. Methods Comput. Sci. – start-page: 81 year: 2022 ident: 10.1016/j.jss.2024.111976_b68 article-title: Self-stabilising priority-based multi-leader election and network partitioning – volume: 97 year: 2021 ident: 10.1016/j.jss.2024.111976_b40 article-title: Engineering collective intelligence at the edge with aggregate processes publication-title: Eng. Appl. Artif. Intell. doi: 10.1016/j.engappai.2020.104081 – volume: 85 year: 2022 ident: 10.1016/j.jss.2024.111976_b74 article-title: Aggregate processes as distributed adaptive services for the Industrial Internet of Things publication-title: Pervasive Mob. Comput. doi: 10.1016/j.pmcj.2022.101658 – volume: 31 start-page: 325 issue: 4 year: 2016 ident: 10.1016/j.jss.2024.111976_b27 article-title: Trading accuracy for speed in approximate consensus publication-title: Knowl. Eng. Rev. doi: 10.1017/S0269888916000175 – volume: 26 start-page: 87 issue: 1 year: 1994 ident: 10.1016/j.jss.2024.111976_b56 article-title: The interdisciplinary study of coordination publication-title: ACM Comput. Surv. doi: 10.1145/174666.174668 – start-page: 23 year: 2018 ident: 10.1016/j.jss.2024.111976_b22 article-title: Distributed real-time shortest-paths computations with the field calculus – volume: 207 start-page: 284 issue: 2 year: 2009 ident: 10.1016/j.jss.2024.111976_b54 article-title: Coinductive big-step operational semantics publication-title: Inform. and Comput. doi: 10.1016/j.ic.2007.12.004 – year: 2022 ident: 10.1016/j.jss.2024.111976_b33 – volume: 13 start-page: 54 issue: 1 year: 2022 ident: 10.1016/j.jss.2024.111976_b73 article-title: The state of the art of macroprogramming in IoT: An update publication-title: J. Internet Serv. Appl. doi: 10.5753/jisa.2022.2372 – volume: 15 start-page: 279 issue: 3 year: 2006 ident: 10.1016/j.jss.2024.111976_b63 article-title: LIME: A coordination model and middleware supporting mobility of hosts and agents publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/1151695.1151698 – start-page: 341 year: 2010 ident: 10.1016/j.jss.2024.111976_b67 article-title: Type classes as objects and implicits – volume: 16 issue: 4 year: 2020 ident: 10.1016/j.jss.2024.111976_b11 article-title: Field-based coordination with the share operator publication-title: Log. Methods Comput. Sci. – volume: 34 start-page: 869 issue: 3 year: 2023 ident: 10.1016/j.jss.2024.111976_b24 article-title: FCPP+Miosix: Scaling aggregate programming to embedded systems publication-title: IEEE Trans. Parallel Distrib. Syst. doi: 10.1109/TPDS.2022.3232633 – volume: 20 start-page: 5:1 issue: 1 year: 2019 ident: 10.1016/j.jss.2024.111976_b25 article-title: A higher-order calculus of computational fields publication-title: ACM Trans. Comput. Log. doi: 10.1145/3285956 – volume: vol. 06361 year: 2007 ident: 10.1016/j.jss.2024.111976_b47 – volume: 53 start-page: 81:1 issue: 4 year: 2020 ident: 10.1016/j.jss.2024.111976_b79 article-title: A survey of multitier programming publication-title: ACM Comput. Surv. – volume: 23 issue: 3 year: 2001 ident: 10.1016/j.jss.2024.111976_b52 article-title: Featherweight Java: A minimal core calculus for Java and GJ publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/503502.503505 – volume: 8 start-page: 08:1 issue: 2 year: 2022 ident: 10.1016/j.jss.2024.111976_b15 article-title: Functional programming for distributed systems with XC (artifact) publication-title: Dagstuhl Artifacts Ser. – volume: 12 start-page: 12:1 issue: 3 year: 2017 ident: 10.1016/j.jss.2024.111976_b30 article-title: Self-adaptation to device distribution in the Internet of Things publication-title: ACM Trans. Auton. Adapt. Syst. doi: 10.1145/3105758 – volume: 43 start-page: 19:1 issue: 3 year: 2011 ident: 10.1016/j.jss.2024.111976_b62 article-title: Programming wireless sensor networks: Fundamental concepts and state of the art publication-title: ACM Comput. Surv. doi: 10.1145/1922649.1922656 – volume: 12 start-page: 203 issue: 11 year: 2020 ident: 10.1016/j.jss.2024.111976_b37 article-title: Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment publication-title: Future Internet doi: 10.3390/fi12110203 – volume: 192 year: 2020 ident: 10.1016/j.jss.2024.111976_b1 article-title: Programming interactions in collective adaptive systems by relying on attribute-based communication publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2020.102428 – start-page: 12 year: 2011 ident: 10.1016/j.jss.2024.111976_b64 article-title: Survey of fault tolerance techniques for shared memory multicore/multiprocessor systems – volume: 2 start-page: 129:1 issue: OOPSLA year: 2018 ident: 10.1016/j.jss.2024.111976_b78 article-title: Distributed system development with ScalaLoci publication-title: Proc. ACM Program. Lang. doi: 10.1145/3276499 – start-page: 153 year: 2020 ident: 10.1016/j.jss.2024.111976_b10 article-title: FCPP: an efficient and extensible field calculus framework – volume: 21 start-page: 558 issue: 7 year: 1978 ident: 10.1016/j.jss.2024.111976_b53 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Commun. ACM doi: 10.1145/359545.359563 – volume: vol. 11533 start-page: 200 year: 2019 ident: 10.1016/j.jss.2024.111976_b39 article-title: Aggregate processes in field calculus – start-page: 893 year: 2015 ident: 10.1016/j.jss.2024.111976_b49 article-title: Collective adaptive systems – volume: 49 start-page: 17 issue: 1 year: 2016 ident: 10.1016/j.jss.2024.111976_b2 article-title: Beyond weiser: From ubiquitous to collective computing publication-title: Computer doi: 10.1109/MC.2016.22 – year: 2002 ident: 10.1016/j.jss.2024.111976_b72 – volume: vol. 9407 start-page: 1 year: 2015 ident: 10.1016/j.jss.2024.111976_b8 article-title: Domain-specific languages with Scala – start-page: 81 year: 2013 ident: 10.1016/j.jss.2024.111976_b32 article-title: DEECO: an ensemble-based component system – year: 2023 ident: 10.1016/j.jss.2024.111976_b35 article-title: Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling publication-title: ACM Comput. Surv. doi: 10.1145/3579353 – start-page: 78 year: 2004 ident: 10.1016/j.jss.2024.111976_b65 article-title: Region streams: Functional macroprogramming for sensor networks – year: 2004 ident: 10.1016/j.jss.2024.111976_b75 – start-page: 436 year: 2013 ident: 10.1016/j.jss.2024.111976_b28 article-title: Organizing the aggregate: Languages for spatial computing – volume: 15 issue: 1 year: 2019 ident: 10.1016/j.jss.2024.111976_b42 article-title: Coaxioms: flexible coinductive definitions by inference systems publication-title: Log. Methods Comput. Sci. – volume: vol. 109 start-page: 21:1 year: 2018 ident: 10.1016/j.jss.2024.111976_b7 article-title: Modeling infinite behaviour by corules |
| SSID | ssj0007202 |
| Score | 2.4832191 |
| Snippet | Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal.... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 111976 |
| SubjectTerms | Collective computing Core calculus C＋＋ DSL Distributed programming Operational semantics Scala DSL Type soundness |
| Title | The eXchange Calculus (XC): A functional programming language design for distributed collective systems |
| URI | https://dx.doi.org/10.1016/j.jss.2024.111976 |
| Volume | 210 |
| WOSCitedRecordID | wos001181210300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: ScienceDirect database issn: 0164-1212 databaseCode: AIEXJ dateStart: 19950101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0007202 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELaWlgMX3ojykg8cgFVQ4ngTm9tqaQscKqQWKbfIr1RZbXer7G7pP-BvM47tJC0PARKXKEpsJ_F88own38wg9FLESmQizSKuuYqoSVXEqtxEMslYJSWZEOGKTeRHR6wo-OfR6FuIhblY5Mslu7zk5_9V1HANhG1DZ_9C3N2gcAHOQehwBLHD8Y8FbwoX0GtDr6x_r3WtFjPY9rtIdKvNvBPQE7TOrMsgOC_HuuV1tBREbTPr2qJYxsa_tV5-SzZaDzKdz_sHD-xb32LsPPPV5qvoebbTrW7qtoDT-LBeNaeODOb-hayFNnVP-u7uvBdntStANT4wDUBS9b2OxQJ2BAZ26u39w22tV0N_BhnSYFonWwi0ucIDtYnAooQkVxZu4gixPygB54-Yv52vbT52Qq1a4Pm1hNutCj-249phLZPWRtXfQLskn3BYHnenH_eLT51Sz0lLX-3eI_wgb6mC1x70cxNnYLac3EW3vTzw1OHkHhqZ5X10J9TywH5pf4BOQXo4wAYH2OBXxez1OzzFPWDwADA4AAY7wGAADB4ABveAwR4OD9GXg_2T2YfIF-GIVErjTSS4ZELFSmcykUoaA1-fV5ryioGxp0An6ErkiaQTTlSeCm1jjqjMYiaY5qlIH6Gd5WppHiNMmRZprMHopJLKVHFoJomkbEKJAD2xh-Iwb6XyGeptoZRFGaiI8xKmurRTXbqp3kNvui7nLj3L7xrTIIzS25fObiwBOb_u9uTfuj1Ft3p4P0M7m2ZrnqOb6mJTr5sXHl_fAcwTon0 |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+eXchange+Calculus+%28XC%29%3A+A+functional+programming+language+design+for+distributed+collective+systems&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Audrito%2C+Giorgio&rft.au=Casadei%2C+Roberto&rft.au=Damiani%2C+Ferruccio&rft.au=Salvaneschi%2C+Guido&rft.date=2024-04-01&rft.pub=Elsevier+Inc&rft.issn=0164-1212&rft.volume=210&rft_id=info:doi/10.1016%2Fj.jss.2024.111976&rft.externalDocID=S0164121224000190 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |