{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T21:04:49Z","timestamp":1760821489625,"version":"3.40.3"},"publisher-location":"Cham","reference-count":126,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737084"},{"type":"electronic","value":"9783031737091"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73709-1_3","type":"book-chapter","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T10:12:01Z","timestamp":1728382321000},"page":"27-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Klaim in\u00a0the\u00a0Making"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4481-8096","authenticated-orcid":false,"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3548-5514","authenticated-orcid":false,"given":"Gian-Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3061-863X","authenticated-orcid":false,"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1419-1405","authenticated-orcid":false,"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7032-3281","authenticated-orcid":false,"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1016\/j.ic.2019.104457","volume":"268","author":"Y Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","journal-title":"Inf. Comput."},{"key":"3_CR2","volume":"192","author":"YA Alrahman","year":"2020","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)","journal-title":"Sci. Comput. Program."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A.,\u00a0De Nicola, R.,\u00a0Loreti, M.,\u00a0Tiezzi, F.,\u00a0Vigo, R.: A calculus for attribute-based communication. In: SAC 2015, pp. 1840\u20131845. ACM (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61604-7_53","volume-title":"CONCUR \u201996: Concurrency Theory","author":"RM Amadio","year":"1996","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 147\u2013162. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61604-7_53"},{"issue":"2","key":"3_CR5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"RM Amadio","year":"1998","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci. 195(2), 291\u2013324 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR6","volume-title":"JavaSpaces Principles, Patterns and Practice","author":"K Arnold","year":"1999","unstructured":"Arnold, K., Freeman, E., Hupfer, S.: JavaSpaces Principles, Patterns and Practice. Addison-Wesley, Boston (1999)"},{"key":"3_CR7","unstructured":"Bettini, L.: Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile. Master\u2019s thesis, Dip. di Sistemi e Informatica, Univ. di Firenze (1998)"},{"key":"3_CR8","unstructured":"Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Universit\u00e0 di Siena (2003)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24639-8_2","volume-title":"Scientific Engineering of Distributed Java Applications","author":"L Bettini","year":"2004","unstructured":"Bettini, L.: A java package for class and mixin mobility in a distributed setting. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2003. LNCS, vol. 2952, pp. 12\u201322. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24639-8_2"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L Bettini","year":"2003","unstructured":"Bettini, L., et al.: The Klaim project: theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 88\u2013150. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40042-4_4"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-46000-4_8","volume-title":"Coordination Models and Languages","author":"L Bettini","year":"2002","unstructured":"Bettini, L., Bono, V., Venneri, B.: Coordinating mobile object-oriented code. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 56\u201371. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46000-4_8"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0Bono, V.,\u00a0Venneri, B.: Towards object-oriented Klaim. In: TOSCA 2001, vol. 62 of ENTCS, pp. 38\u201351 (2002)","DOI":"10.1016\/S1571-0661(04)00318-4"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-24634-3_5","volume-title":"Coordination Models and Languages","author":"L Bettini","year":"2004","unstructured":"Bettini, L., Bono, V., Venneri, B.: O\u2019Klaim: a\u00a0coordination language with mobile mixins. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 20\u201337. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_5"},{"key":"3_CR14","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/1-4020-8141-3_35","volume-title":"Exploring New Frontiers of Theoretical Informatics","author":"L Bettini","year":"2004","unstructured":"Bettini, L., Bono, V., Venneri, B.: Subtyping-inheritance conflicts: the mobile mixin case. In: Levy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004. IIFIP, vol. 155, pp. 451\u2013464. Springer, Boston, MA (2004). https:\/\/doi.org\/10.1007\/1-4020-8141-3_35"},{"issue":"2\u20133","key":"3_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-005-0176-0","volume":"42","author":"L Bettini","year":"2005","unstructured":"Bettini, L., Bono, V., Venneri, B.: MoMi: a calculus for mobile mixins. Acta Informatica 42(2\u20133), 143\u2013190 (2005)","journal-title":"Acta Informatica"},{"issue":"5\u20136","key":"3_CR16","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1007\/s10009-023-00727-w","volume":"25","author":"L Bettini","year":"2023","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transfer 25(5\u20136), 747\u2013764 (2023)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45647-3_13","volume-title":"Mobile Agents","author":"L Bettini","year":"2001","unstructured":"Bettini, L., De Nicola, R.: Translating strong mobility into weak mobility. In: Picco, G.P. (ed.) MA 2001. LNCS, vol. 2240, pp. 182\u2013197. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45647-3_13"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-36520-6_16","volume-title":"Scientific Engineering for Distributed Java Applications","author":"L Bettini","year":"2003","unstructured":"Bettini, L., De Nicola, R.: A java middleware for guaranteeing privacy of distributed tuple spaces. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2002. LNCS, vol. 2604, pp. 175\u2013184. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36520-6_16"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-31794-4_10","volume-title":"Global Computing","author":"L Bettini","year":"2005","unstructured":"Bettini, L., et al.: A software framework for rapid prototyping of run-time systems for mobile calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 179\u2013207. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31794-4_10"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11498094_17","volume-title":"Distributed Applications and Interoperable Systems","author":"L Bettini","year":"2005","unstructured":"Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A flexible and modular framework for implementing infrastructures for global computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 181\u2013193. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11498094_17"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0De Nicola, R.,\u00a0Ferrari, G.,\u00a0Pugliese, R.: Interactive mobile agents in X-Klaim. In: WETICE 1998, pp. 110\u2013115. IEEE Computer Society Press (1998)","DOI":"10.1109\/ENABL.1998.725680"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-46000-4_9","volume-title":"Coordination Models and Languages","author":"L Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Formalizing properties of mobile agent systems. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 72\u201387. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46000-4_9"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0De Nicola, R.,\u00a0Loreti, M.: Software update via mobile agent based programming. In: SAC 2002, pp. 32\u201336. ACM (2002)","DOI":"10.1145\/508791.508800"},{"issue":"3","key":"3_CR24","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1023\/B:AUSE.0000028536.34044.47","volume":"11","author":"L Bettini","year":"2004","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Formulae meet programs over the net: a framework for correct network aware programming. Autom. Softw. Eng. 11(3), 245\u2013288 (2004)","journal-title":"Autom. Softw. Eng."},{"issue":"14","key":"3_CR25","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365\u20131394 (2002)","journal-title":"Softw. Pract. Exp."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0Loreti, M.,\u00a0Pugliese, R.: Structured Nets in KLAIM. In: SAC 2000, pp. 174\u2013180. ACM (2000)","DOI":"10.1145\/335603.335736"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0Loreti, M.,\u00a0Pugliese, R.: Modelling node connectivity in dynamically evolving networks. In: CONCOORD 2001, vol. 54 of ENTCS. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)00237-3"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Bettini, L.,\u00a0Loreti, M.,\u00a0Pugliese, R.: An infrastructure language for open nets. In: SAC 2002, pp. 373\u2013377. ACM (2002)","DOI":"10.1145\/508791.508862"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21485-2","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","year":"2019","unstructured":"Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.): Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., et al.: CARMA: collective adaptive resource-sharing markovian agents. In: QAPL 2015, vol. 194 of EPTCS, pp. 16\u201331 (2015)","DOI":"10.4204\/EPTCS.194.2"},{"key":"3_CR31","unstructured":"Boudol, G.: Asynchrony in the $$\\pi $$\u2013calculus. Research report 1702, INRIA Sophia\u2013Antipolis (1992)"},{"issue":"1","key":"3_CR32","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0304-3975(93)90152-J","volume":"114","author":"G Boudol","year":"1993","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theor. Comput. Sci. 114(1), 31\u201361 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR33","volume-title":"IT Architectures and Middlewares","author":"C Britton","year":"2004","unstructured":"Britton, C., Bye, P.: IT Architectures and Middlewares, 2nd edn. Addison-Wesley, Boston (2004)","edition":"2"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44685-0_8","volume-title":"CONCUR 2001 \u2014 Concurrency Theory","author":"M Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 102\u2013120. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44685-0_8"},{"issue":"1","key":"3_CR35","first-page":"27","volume":"8","author":"L Cardelli","year":"1995","unstructured":"Cardelli, L.: A language with distributed scope. Comput. Syst. 8(1), 27\u201359 (1995)","journal-title":"Comput. Syst."},{"issue":"4es","key":"3_CR36","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/242224.242430","volume":"28","author":"L Cardelli","year":"1996","unstructured":"Cardelli, L.: Global computation. ACM Comput. Surv. 28(4es), 163 (1996)","journal-title":"ACM Comput. Surv."},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Types for mobile ambients. In: POPL 1999, pp. 79\u201392. ACM (1999)","DOI":"10.1145\/292540.292550"},{"issue":"1","key":"3_CR38","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theor. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44685-0_7","volume-title":"CONCUR 2001 \u2014 Concurrency Theory","author":"G Castagna","year":"2001","unstructured":"Castagna, G., Ghelli, G., Nardelli, F.Z.: Typing mobility in the seal calculus. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 82\u2013101. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44685-0_7"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Seal: a framework for secure mobile computations. In: Bal, H.E., Belkhouche, B., Cardelli, L. (eds.) ICCL 1998. LNCS, vol. 1686, pp. 47\u201377. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-47959-7_3"},{"key":"3_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-62852-5_16","volume-title":"Mobile Object Systems Towards the Programmable Internet","author":"P Ciancarini","year":"1997","unstructured":"Ciancarini, P., Rossi, D.: Jada: coordination and communication for java agents. In: Vitek, J., Tschudin, C. (eds.) MOS 1996. LNCS, vol. 1222, pp. 213\u2013226. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-62852-5_16"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Ciancarini, P.,\u00a0Rossi, D.: Coordinating distributed applets with shade\/java. In: SAC 1998, pp. 130\u2013138. ACM (1998)","DOI":"10.1145\/330560.330660"},{"issue":"5","key":"3_CR43","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/32.685259","volume":"24","author":"P Ciancarini","year":"1998","unstructured":"Ciancarini, P., Tolksdorf, R., Vitali, F., Rossi, D., Knoche, A.: Coordinating multiagent applications on the www: a reference architecture. IEEE Trans. Softw. Eng. 24(5), 362\u2013366 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"3_CR44","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s002360050086","volume":"34","author":"F Corradini","year":"1997","unstructured":"Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Informatica 34(4), 291\u2013324 (1997)","journal-title":"Acta Informatica"},{"key":"3_CR45","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-0-387-35188-9_22","volume-title":"Open Distributed Processing and Distributed Platforms","author":"N Davies","year":"1997","unstructured":"Davies, N., Wade, S.P., Friday, A., Blair, G.S.: Limbo: a tuple space based platform for adaptive mobile applications. In: Open Distributed Processing and Distributed Platforms. IAICT, pp. 291\u2013302. Springer, Boston, MA (1997). https:\/\/doi.org\/10.1007\/978-0-387-35188-9_22"},{"key":"3_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-39910-0_21","volume-title":"Verification: Theory and Practice","author":"R De Nicola","year":"2003","unstructured":"De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A formal basis for reasoning on programmable QoS. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 436\u2013479. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39910-0_21"},{"key":"3_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11417019_3","volume-title":"Coordination Models and Languages","author":"R De Nicola","year":"2005","unstructured":"De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A process calculus for QoS-aware applications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 33\u201348. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11417019_3"},{"key":"3_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-63383-9_83","volume-title":"Coordination Languages and Models","author":"R De Nicola","year":"1997","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Coordinating mobile agents via blackboards and access rights. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 220\u2013237. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63383-9_83"},{"key":"3_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/BFb0030636","volume-title":"TAPSOFT \u201997: Theory and Practice of Software Development","author":"R De Nicola","year":"1997","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Locality based Linda: programming with explicit localities. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 712\u2013726. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0030636"},{"issue":"5","key":"3_CR50","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-48749-2_6","volume-title":"Secure Internet Programming","author":"R De Nicola","year":"1999","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Types as specifications of access policies. In: Vitek, J., Jensen, C.D. (eds.) Secure Internet Programming. LNCS, vol. 1603, pp. 117\u2013146. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48749-2_6"},{"key":"3_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-44618-4_5","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Programming access control: the klaim experience. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 48\u201365. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44618-4_5"},{"key":"3_CR53","volume":"111","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Tiezzi, F.: A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111, 100511 (2020)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1","key":"3_CR54","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for access control. Theor. Comput. Sci. 240(1), 215\u2013254 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-68265-3_7","volume-title":"Coordination Models and Languages","author":"R De Nicola","year":"2008","unstructured":"De Nicola, R., et al.: From flow logic to static type systems for coordination languages. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 100\u2013116. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68265-3_7"},{"issue":"6","key":"3_CR56","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1016\/j.scico.2009.07.009","volume":"75","author":"R De Nicola","year":"2010","unstructured":"De Nicola, R., et al.: From flow logic to static type systems for coordination languages. Sci. Comput. Program. 75(6), 376\u2013397 (2010)","journal-title":"Sci. Comput. Program."},{"key":"3_CR57","doi-asserted-by":"crossref","unstructured":"De Nicola, R.,\u00a0Gorla, D.,\u00a0Pugliese, R.: On the expressive power of Klaim-based calculi. In: EXPRESS 2004, vol. 128, no. 2 of ENTCS, pp. 117\u2013130. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.11.032"},{"key":"3_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1007\/11523468_99","volume-title":"Automata, Languages and Programming","author":"R De Nicola","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1226\u20131238. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11523468_99"},{"key":"3_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11417019_11","volume-title":"Coordination Models and Languages","author":"R De Nicola","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Global computing in a dynamic network of tuple spaces. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 157\u2013172. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11417019_11"},{"key":"3_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494881_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R De Nicola","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Pattern matching over a dynamic network of tuple spaces. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 1\u201314. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494881_1"},{"issue":"1","key":"3_CR61","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.scico.2005.07.013","volume":"63","author":"R De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1), 57\u201387 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"3_CR62","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/j.tcs.2006.02.007","volume":"356","author":"R De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3), 387\u2013421 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"10","key":"3_CR63","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1016\/j.ic.2007.03.004","volume":"205","author":"R De Nicola","year":"2007","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Inf. Comput. 205(10), 1491\u20131525 (2007)","journal-title":"Inf. Comput."},{"issue":"2","key":"3_CR64","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.scico.2006.06.004","volume":"64","author":"R De Nicola","year":"2007","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2), 187\u2013204 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"3_CR65","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R De Nicola","year":"2007","unstructured":"De Nicola, R., Katoen, J., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1), 42\u201370 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR66","doi-asserted-by":"crossref","unstructured":"De Nicola, R.,\u00a0Katoen, J.,\u00a0Latella, D.,\u00a0Massink, M.: Towards a logic for performance and mobility. In: QAPL 2005, vol. 153, no. 2 of ENTCS, pp. 161\u2013175. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.10.037"},{"key":"3_CR67","doi-asserted-by":"crossref","unstructured":"R.\u00a0De Nicola, D.\u00a0Latella, A.\u00a0Lluch-Lafuente, M.\u00a0Loreti, A.\u00a0Margheri, M.\u00a0Massink, A.\u00a0Morichetta, R.\u00a0Pugliese, F.\u00a0Tiezzi, and A.\u00a0Vandin. The SCEL language: Design, implementation, verification. In Software Engineering for Collective Autonomic Systems - The ASCENS Approach, volume 8998 of LNCS, pages 3\u201371. Springer, 2015","DOI":"10.1007\/978-3-319-16310-9_1"},{"key":"3_CR68","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1), 5:1\u20135:35 (2013)","DOI":"10.1145\/2522968.2522973"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"De Nicola, R.,\u00a0Latella, D.,\u00a0Massink, M.: Formal modeling and quantitative analysis of klaim-based mobile systems. In: SAC 2005, pp. 428\u2013435. ACM (2005)","DOI":"10.1145\/1066677.1066777"},{"key":"3_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-45499-3_25","volume-title":"Algebraic Methodology and Software Technology","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Loreti, M.: A modal logic for Klaim. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 339\u2013354. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45499-3_25"},{"issue":"1","key":"3_CR71","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R De Nicola","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"3_CR72","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1017\/S0960129507006585","volume":"18","author":"R De Nicola","year":"2008","unstructured":"De Nicola, R., Loreti, M.: Multiple-labelled transition systems for nominal calculi and their logics. Math. Struct. Comput. Sci. 18(1), 107\u2013143 (2008)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR73","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7:1\u20137:29 (2014)","DOI":"10.1145\/2619998"},{"key":"3_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-61052-9_45","volume-title":"Coordination Languages and Models","author":"R De Nicola","year":"1996","unstructured":"De Nicola, R., Pugliese, R.: A process algebra based on Linda. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 160\u2013178. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61052-9_45"},{"issue":"1\u20132","key":"3_CR75","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0304-3975(99)00339-4","volume":"238","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Pugliese, R.: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1\u20132), 389\u2013437 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR76","doi-asserted-by":"crossref","unstructured":"Deugo D.: Mobile agent messaging models. In: ISADS 2001, pp. 278\u2013286. IEEE Computer Society (2001)","DOI":"10.1109\/ISADS.2001.917429"},{"key":"3_CR77","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.scico.2014.10.001","volume":"99","author":"J Eckhardt","year":"2015","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Semantics, distributed implementation, and formal analysis of KLAIM models in maude. Sci. Comput. Program. 99, 24\u201374 (2015)","journal-title":"Sci. Comput. Program."},{"key":"3_CR78","doi-asserted-by":"crossref","unstructured":"G.\u00a0Ferrari, E.\u00a0Moggi, and R.\u00a0Pugliese. Global types and network services. In CONCOORD\u201901, volume\u00a054 of ENTCS, pages 35\u201348. Elsevier, 2001","DOI":"10.1016\/S1571-0661(04)00233-6"},{"key":"3_CR79","doi-asserted-by":"crossref","unstructured":"Ferrari, G.,\u00a0Moggi, E.,\u00a0Pugliese, R.: Higher-order types and meta-programming for global computing. In: TOSCA 2001, vol. 62 of ENTCS, pp. 52\u201368. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)00319-6"},{"key":"3_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-44806-3_11","volume-title":"Semantics, Applications, and Implementation of Program Generation","author":"G Ferrari","year":"2001","unstructured":"Ferrari, G., Moggi, E., Pugliese, R.: MetaKlaim: meta-programming for global computing. In: Taha, W. (ed.) SAIG 2001. LNCS, vol. 2196, pp. 183\u2013198. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44806-3_11"},{"issue":"3","key":"3_CR81","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1017\/S0960129504004165","volume":"14","author":"G Ferrari","year":"2004","unstructured":"Ferrari, G., Moggi, E., Pugliese, R.: MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3), 367\u2013395 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR82","doi-asserted-by":"crossref","unstructured":"Fournet, C.,\u00a0Gonthier, G.: The reflexive CHAM and the join-calculus. In: POPL 1996, pp. 372\u2013385. ACM Press (1996)","DOI":"10.1145\/237721.237805"},{"key":"3_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The join calculus: a language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 268\u2013332. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45699-6_6"},{"key":"3_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., R\u00e9my, D.: A calculus of mobile agents. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406\u2013421. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61604-7_67"},{"issue":"5","key":"3_CR85","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A Fuggetta","year":"1998","unstructured":"Fuggetta, A., Picco, G., Vigna, G.: Understanding code mobility. IEEE Trans. Softw. Eng. 24(5), 342\u2013361 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR86","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63383-9","volume-title":"Coordination Languages and Models","year":"1997","unstructured":"Garlan, D., Le M\u00e9tayer, D. (eds.): COORDINATION 1997. LNCS, vol. 1282. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63383-9"},{"issue":"1","key":"3_CR87","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"PARLE \u201989 Parallel Architectures and Languages Europe","author":"D Gelernter","year":"1989","unstructured":"Gelernter, D.: Multiple tuple spaces in Linda. In: Odijk, E., Rem, M., Syre, J.-C. (eds.) PARLE 1989. LNCS, vol. 366, pp. 20\u201327. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/3-540-51285-3_30"},{"key":"3_CR89","unstructured":"Girard, J.: Interpr\u00e9tation fonctionelle et \u00e9limination des coupures dans l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. University of Paris VII, Th\u00e8se de doctorat d\u2019etat (1972)"},{"key":"3_CR90","doi-asserted-by":"crossref","unstructured":"Gjondrekaj, E.,\u00a0Loreti, M.,\u00a0Pugliese, R.,\u00a0Tiezzi, F.: Modeling adaptation with a tuple-based coordination language. In: SAC 2012, pp. 1522\u20131527. ACM (2012)","DOI":"10.1145\/2245276.2232019"},{"key":"3_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-34281-3_7","volume-title":"Formal Methods and Software Engineering","author":"E Gjondrekaj","year":"2012","unstructured":"Gjondrekaj, E., et al.: Towards a formal verification methodology for collective robotic systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 54\u201370. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34281-3_7"},{"key":"3_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-39881-3_10","volume-title":"Security in Pervasive Computing","author":"D Gorla","year":"2004","unstructured":"Gorla, D., Pugliese, R.: Enforcing security policies via types. In: Hutter, D., M\u00fcller, G., Stephan, W., Ullmann, M. (eds.) Security in Pervasive Computing. LNCS, vol. 2802, pp. 86\u2013100. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-39881-3_10"},{"key":"3_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-45061-0_11","volume-title":"Automata, Languages and Programming","author":"D Gorla","year":"2003","unstructured":"Gorla, D., Pugliese, R.: Resource access and mobility control with dynamic privileges acquisition. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 119\u2013132. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45061-0_11"},{"key":"3_CR94","doi-asserted-by":"crossref","unstructured":"Gorla, D.,\u00a0Pugliese, R.: Controlling data movement in global computing applications. In: SAC 2004, pp. 1462\u20131467. ACM (2004)","DOI":"10.1145\/967900.968193"},{"issue":"8","key":"3_CR95","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1016\/j.jlap.2008.12.001","volume":"78","author":"D Gorla","year":"2009","unstructured":"Gorla, D., Pugliese, R.: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8), 665\u2013689 (2009)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"3_CR96","unstructured":"Greenwood, P.,\u00a0Blair, L.: Using dynamic aspect-oriented programming to implement an autonomic system. In: Dynamic Aspects Workshop (DAW), pp. 76\u201388 (2004)"},{"key":"3_CR97","doi-asserted-by":"crossref","unstructured":"Hansen, R.R., Probst, C.W.,\u00a0Nielson, F.: Sandboxing in myKlaim. In: ARES 2006, pp. 174\u2013181. IEEE Computer Society (2006)","DOI":"10.1109\/ARES.2006.115"},{"issue":"1","key":"3_CR98","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM 32(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR99","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Inf. Comput. 173(1), 82\u2013120 (2002)","journal-title":"Inf. Comput."},{"issue":"8","key":"3_CR100","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR101","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55613-3_2","volume-title":"Object-Based Concurrent Computing","author":"K Honda","year":"1992","unstructured":"Honda, K., Tokoro, M.: On asynchronous communication semantics. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds.) ECOOP 1991. LNCS, vol. 612, pp. 21\u201351. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55613-3_2"},{"key":"3_CR102","unstructured":"IBM. An architectural blueprint for autonomic computing, Technical report. Third edition (2005)"},{"key":"3_CR103","unstructured":"International ISO\/IEC 8652:1995(E). Annotated Ada Reference Manual: Language and Standard Libraries. Intermetrics Inc. (1994)"},{"key":"3_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"M Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83\u2013119. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"key":"3_CR105","unstructured":"Hansen, J.K.M.,\u00a0Huttel, H.: Bisimulations for asynchronous mobile processes. In: 6th Nordic Workshop on Programming Theory (1995)"},{"key":"3_CR106","unstructured":"The MetaML Home Page (2000). Provides source code and documentation online at http:\/\/www.cse.ogi.edu\/PacSoft\/projects\/metaml\/index.html"},{"key":"3_CR107","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"issue":"1","key":"3_CR108","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"3_CR109","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-61604-7_55","volume-title":"CONCUR \u201996: Concurrency Theory","author":"U Nestmann","year":"1996","unstructured":"Nestmann, U., Pierce, B.C.: Decoding choice encodings. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 179\u2013194. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61604-7_55"},{"key":"3_CR110","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36377-7_11","volume-title":"The Essence of Computation","author":"HR Nielson","year":"2002","unstructured":"Nielson, H.R., Nielson, F.: Flow logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223\u2013244. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36377-7_11"},{"issue":"3","key":"3_CR111","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for internet application development. Auton. Agent. Multi-Agent Syst. 2(3), 251\u2013269 (1999)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"3_CR112","unstructured":"Open Robotics. Robot Operating System (ROS). https:\/\/www.ros.org\/"},{"key":"3_CR113","doi-asserted-by":"crossref","unstructured":"Picco, G.,\u00a0Murphy, A., Roman, G.-C.: Lime: linda meets mobility. In: ICSE 1999, pp. 368\u2013377. ACM (1999)","DOI":"10.1145\/302405.302659"},{"issue":"1","key":"3_CR114","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.jal.2011.11.002","volume":"10","author":"R Pugliese","year":"2012","unstructured":"Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. J. Appl. Log. 10(1), 2\u201331 (2012)","journal-title":"J. Appl. Log."},{"key":"3_CR115","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Programming Symposium","author":"JC Reynolds","year":"1974","unstructured":"Reynolds, J.C.: Towards a theory of type structure. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol. 19, pp. 408\u2013425. Springer, Heidelberg (1974). https:\/\/doi.org\/10.1007\/3-540-06859-7_148"},{"issue":"3","key":"3_CR116","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1019263731139","volume":"1","author":"A Rowstron","year":"1998","unstructured":"Rowstron, A.: WCL: a web co-ordination language. World Wide Web J. 1(3), 167\u2013179 (1998)","journal-title":"World Wide Web J."},{"issue":"8","key":"3_CR117","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1016\/j.jss.2012.03.024","volume":"85","author":"G Salvaneschi","year":"2012","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: a software engineering perspective. J. Syst. Softw. 85(8), 1801\u20131817 (2012)","journal-title":"J. Syst. Softw."},{"issue":"1\u20132","key":"3_CR118","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0304-3975(00)00053-0","volume":"248","author":"W Taha","year":"2000","unstructured":"Taha, W., Sheard, T.: MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1\u20132), 211\u2013242 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"3_CR119","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T Thorne","year":"1997","unstructured":"Thorne, T.: Programming languages for mobile code. ACM Comput. Surv. 29(3), 213\u2013239 (1997)","journal-title":"ACM Comput. Surv."},{"key":"3_CR120","unstructured":"Tuosto, E.: Semantica e Pragmatica di un Linguaggio di Coordinamento di Attivit\u00e0 su Reti. Master\u2019s thesis, Dipartimento di Science dell\u2019Informazione, Universit\u00e0 di Pisa (1998)"},{"key":"3_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-48753-0_18","volume-title":"Reliable Software Technologies \u2014 Ada-Europe\u2019 99","author":"E Tuosto","year":"1999","unstructured":"Tuosto, E.: An Ada95 implementation of a network coordination language with code mobility. In: Gonz\u00e1lez Harbour, M., de la Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol. 1622, pp. 199\u2013210. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48753-0_18"},{"key":"3_CR122","unstructured":"White, J.: Telescript technology: the foundation for the electronic marketplace. General Magic white paper (1994)"},{"key":"3_CR123","unstructured":"White, J.: Mobile Agents, pp. 437\u2013471. American Association for Artificial Intelligence (1997)"},{"key":"3_CR124","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P.T.,\u00a0Sewell, P.: Nomadic pict: language and infrastructure design for mobile agents. In: ASA\/MA 1999, pp. 2\u201312. IEEE Computer Society (1999)","DOI":"10.1109\/ASAMA.1999.805388"},{"issue":"2","key":"3_CR125","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"PT Wojciechowski","year":"2000","unstructured":"Wojciechowski, P.T., Sewell, P.: Nomadic pict: language and infrastructure design for mobile agents. IEEE Concurr. 8(2), 42\u201352 (2000)","journal-title":"IEEE Concurr."},{"issue":"3","key":"3_CR126","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1147\/sj.373.0454","volume":"37","author":"P Wyckoff","year":"1998","unstructured":"Wyckoff, P., McLaughry, S., Lehman, T., Ford, D.: TSpaces. IBM Syst. J. 37(3), 454\u2013474 (1998)","journal-title":"IBM Syst. J."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73709-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:04:36Z","timestamp":1729674276000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73709-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031737084","9783031737091"],"references-count":126,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73709-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}