{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:37Z","timestamp":1779074617811,"version":"3.51.4"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319924076","type":"print"},{"value":"9783319924083","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-92408-3_1","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T17:08:42Z","timestamp":1527354522000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Space-Time Universality of Field Calculus"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Audrito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob","family":"Beal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-39570-8_3","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"K Altisen","year":"2016","unstructured":"Altisen, K., Corbineau, P., Devismes, S.: A framework for certified self-stabilization. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 36\u201351. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_3"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Audrito, G., Casadei, R., Damiani, F., Viroli, M.: Compositional blocks for optimal self-healing gradients. In: Self-Adaptive and Self-Organizing Systems (SASO), 2017, pp. 91\u2013100. IEEE (2017)","DOI":"10.1109\/SASO.2017.18"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-59746-1_4","volume-title":"Coordination Models and Languages","author":"G Audrito","year":"2017","unstructured":"Audrito, G., Damiani, F., Viroli, M.: Optimally-self-healing distributed gradient structures through bounded information speed. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 59\u201377. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59746-1_4"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: languages for spatial computing. In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Chap. 16, pp. 436\u2013501. IGI Global (2013)","DOI":"10.4018\/978-1-4666-2092-6.ch016"},{"issue":"9","key":"1_CR5","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)","journal-title":"IEEE Comput."},{"key":"1_CR6","unstructured":"Beal, J., Viroli, M., Damiani, F.: Towards a unified model of spatial computing. In: 7th Spatial Computing Workshop (SCW 2014) (2014)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/3105758","volume":"12","author":"J Beal","year":"2017","unstructured":"Beal, J., Viroli, M., Pianini, D., Damiani, F.: Self-adaptation to device distribution in the Internet of Things. TAAS 12(3), 12:1\u201312:29 (2017)","journal-title":"TAAS"},{"issue":"1\u20132","key":"1_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1006\/inco.1999.2823","volume":"156","author":"N Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the expressiveness of Linda coordination primitives. Inf. Comput. 156(1\u20132), 90\u2013121 (2000)","journal-title":"Inf. Comput."},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-46425-5_3","volume-title":"Programming Languages and Systems","author":"N Busi","year":"2000","unstructured":"Busi, N., Zavattaro, G.: On the expressiveness of event notification in data-driven coordination languages. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol. 1782, pp. 41\u201355. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46425-5_3"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.tcs.2003.10.040","volume":"322","author":"N Busi","year":"2004","unstructured":"Busi, N., Zavattaro, G.: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3), 477\u2013515 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR11","doi-asserted-by":"crossref","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)","DOI":"10.1145\/2957319.2957372"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"346","DOI":"10.2307\/1968337","volume":"33","author":"A Church","year":"1932","unstructured":"Church, A.: A set of postulates for the foundation of logic. Ann. Math. 33(2), 346\u2013366 (1932)","journal-title":"Ann. Math."},{"key":"1_CR13","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":"1_CR14","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)","journal-title":"Sci. Comput. Program."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-19195-9_8","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"F Damiani","year":"2015","unstructured":"Damiani, F., Viroli, M., Pianini, D., Beal, J.: Code mobility meets self-organisation: a higher-order calculus of computational fields. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 113\u2013128. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19195-9_8"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F Deboer","year":"1994","unstructured":"Deboer, F., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128\u2013157 (1994)","journal-title":"Inf. Comput."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: ACM SAC 1998, pp. 169\u2013177 (1998)","DOI":"10.1145\/330560.330665"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/1186778.1186782","volume":"1","author":"S Dobson","year":"2006","unstructured":"Dobson, S., Denazis, S., Fern\u00e1ndez, A., Ga\u00efti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. TAAS 1(2), 223\u2013259 (2006)","journal-title":"TAAS"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-7315(89)90018-X","volume":"7","author":"BR Engstrom","year":"1989","unstructured":"Engstrom, B.R., Cappello, P.R.: The SDEF programming system. J. Parallel Distrib. Comput. 7(2), 201\u2013231 (1989)","journal-title":"J. Parallel Distrib. Comput."},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-319-39570-8_9","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"F Faghih","year":"2016","unstructured":"Faghih, F., Bonakdarpour, B., Tixeuil, S., Kulkarni, S.: Specification-based synthesis of distributed self-stabilizing protocols. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 124\u2013141. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_9"},{"key":"1_CR21","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: IJCAI 1973, pp. 235\u2013245 (1973)"},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"7","key":"1_CR23","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)","journal-title":"Commun. ACM"},{"key":"1_CR24","volume-title":"Starlisp Reference Manual","author":"C Lasser","year":"1988","unstructured":"Lasser, C., Massar, J., Miney, J., Dayton, L.: Starlisp Reference Manual. Thinking Machines Corporation, Cambridge (1988)"},{"issue":"2","key":"1_CR25","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.scico.2005.10.011","volume":"61","author":"I Linden","year":"2006","unstructured":"Linden, I., Jacquet, J., Bosschere, K.D., Brogi, A.: On the expressiveness of timed coordination models. Sci. Comput. Program. 61(2), 152\u2013187 (2006)","journal-title":"Sci. Comput. Program."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Lluch-Lafuente, A., Loreti, M., Montanari, U.: Asynchronous distributed execution of fixpoint-based computational fields. CoRR abs\/1610.00253 (2016)","DOI":"10.23638\/LMCS-13(1:13)2017"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/844128.844142","volume":"36","author":"S Madden","year":"2002","unstructured":"Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: TAG: a Tiny AGgregation service for ad-hoc sensor networks. SIGOPS Oper. Syst. Rev. 36, 131\u2013146 (2002)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"4","key":"1_CR28","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)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"23","key":"1_CR29","first-page":"215","volume":"1","author":"F Mattern","year":"1989","unstructured":"Mattern, F., et al.: Virtual time and global states of distributed systems. Parallel Distrib. Algorithms 1(23), 215\u2013226 (1989)","journal-title":"Parallel Distrib. Algorithms"},{"key":"1_CR30","unstructured":"Nagpal, R.: Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics. Ph.D. thesis, MIT, Cambridge, MA, USA (2001)"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-319-39519-7_12","volume-title":"Coordination Models and Languages","author":"D Pianini","year":"2016","unstructured":"Pianini, D., Beal, J., Viroli, M.: Improving gossip dynamics through overlapping replicates. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 192\u2013207. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39519-7_12"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/3177774","volume":"28","author":"M Viroli","year":"2018","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)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Viroli, M., Beal, J., Damiani, F., Pianini, D.: Efficient engineering of complex self-organising systems by self-stabilising fields. In: Self-Adaptive and Self-Organizing Systems (SASO), 2015, pp. 81\u201390. IEEE (2015)","DOI":"10.1109\/SASO.2015.16"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-662-43376-8_11","volume-title":"Coordination Models and Languages","author":"M Viroli","year":"2014","unstructured":"Viroli, M., Damiani, F.: A calculus of self-stabilising computational fields. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 163\u2013178. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43376-8_11"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2015.06.003","volume":"110","author":"M Viroli","year":"2015","unstructured":"Viroli, M., Pianini, D., Montagna, S., Stevenson, G., Zambonelli, F.: A coordination model of pervasive service ecosystems. Sci. Comput. Program. 110, 3\u201322 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"1_CR37","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM 40(5), 80\u201391 (1997)","journal-title":"Commun. ACM"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: a neighborhood abstraction for sensor networks. In: Proceedings of the 2nd International Conference on Mobile Systems, Applications, and Services. ACM Press (2004)","DOI":"10.1145\/990064.990079"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/601858.601861","volume":"31","author":"Y Yao","year":"2002","unstructured":"Yao, Y., Gehrke, J.: The cougar approach to in-network query processing in sensor networks. SIGMOD Record 31, 9\u201318 (2002)","journal-title":"SIGMOD Record"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92408-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T19:53:10Z","timestamp":1751658790000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92408-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924076","9783319924083"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92408-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"27 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}