{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T19:16:32Z","timestamp":1774984592392,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031751066","type":"print"},{"value":"9783031751073","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"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-75107-3_20","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"333-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Attributed Point-to-Point Communication in\u00a0R-CHECK"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4866-6931","authenticated-orcid":false,"given":"Yehia Abd","family":"Alrahman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2165-3698","authenticated-orcid":false,"given":"Shaun","family":"Azzopardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-3151","authenticated-orcid":false,"given":"Luca Di","family":"Stefano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8242-5357","authenticated-orcid":false,"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"issue":"5","key":"20_CR1","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/S10009-023-00729-8","volume":"25","author":"Y Abd Alrahman","year":"2023","unstructured":"Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., Piterman, N.: Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25(5), 765\u2013784 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00729-8","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019). https:\/\/doi.org\/10.1016\/j.ic.2019.104457","DOI":"10.1016\/j.ic.2019.104457"},{"key":"20_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102428","journal-title":"Sci. Comput. Program."},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Abd Alrahman, Y., Perelli, G., Piterman, N.: Reconfigurable interaction for MAS modelling. In: Seghrouchni, A.E.F., Sukthankar, G., An, B., Yorke-Smith, N. (eds.) Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201920, Auckland, New Zealand, May 9-13, 2020, pp. 7\u201315. International Foundation for Autonomous Agents and Multiagent Systems (2020https:\/\/doi.org\/10.5555\/3398761.3398768","DOI":"10.5555\/3398761.3398768"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10458-021-09521-x","volume":"35","author":"Y Abd Alrahman","year":"2021","unstructured":"Abd Alrahman, Y., Piterman, N.: Modelling and verification of reconfigurable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2), 47 (2021). https:\/\/doi.org\/10.1007\/s10458-021-09521-x","journal-title":"Auton. Agents Multi Agent Syst."},{"issue":"10","key":"20_CR6","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors-structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008). https:\/\/doi.org\/10.1109\/TC.2008.26","journal-title":"IEEE Trans. Comput."},{"key":"20_CR7","doi-asserted-by":"publisher","unstructured":"Cavada, R., et al.: The nuxmv symbolic model checker. In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08559, pp. 334\u2013342. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_22","DOI":"10.1007\/978-3-319-08867-9_22"},{"issue":"2\u20133","key":"20_CR8","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2\u20133), 213\u2013261 (1990). https:\/\/doi.org\/10.1016\/0004-3702(90)90055-5","journal-title":"Artif. Intell."},{"key":"20_CR9","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Duong, T., Inverso, O.: Verifying abc specifications via emulation. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science, vol. 12477, pp. 261\u2013279. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_16","DOI":"10.1007\/978-3-030-61470-6_16"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/J.TCS.2006.02.007","journal-title":"Theor. Comput. Sci."},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Latella, D., Lluch-Lafuente, A., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL language: Design, implementation, verification. In: Wirsing, M., H\u00f6lzl, M.M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Lecture Notes in Computer Science, vol.\u00a08998, pp. 3\u201371. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1","DOI":"10.1007\/978-3-319-16310-9_1"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48321-7_21","volume-title":"Fundamentals of Computation Theory","author":"C Ene","year":"1999","unstructured":"Ene, C., Muntean, T.: Expressiveness of point-to-point versus broadcast communications. In: Ciobanu, G., P\u0103un, G. (eds.) Fundamentals of Computation Theory, pp. 258\u2013268. Springer, Berlin Heidelberg, Berlin, Heidelberg (1999)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"Hannebauer, M.: Autonomous Dynamic Reconfiguration in Multi-Agent Systems, Improving the Quality and Efficiency of Collaborative Problem Solving, Lecture Notes in Computer Science, vol.\u00a02427. Springer (2002). https:\/\/doi.org\/10.1007\/3-540-45834-4","DOI":"10.1007\/3-540-45834-4"},{"key":"20_CR15","unstructured":"Huang, X., Chen, Q., Meng, J., Su, K.: Reconfigurability in reactive multiagent systems. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 315\u2013321. IJCAI\/AAAI Press (2016). http:\/\/www.ijcai.org\/Abstract\/16\/052"},{"key":"20_CR16","doi-asserted-by":"publisher","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.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science, vol.\u00a09700, pp. 83\u2013119. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4","DOI":"10.1007\/978-3-319-34096-8_4"},{"issue":"1","key":"20_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. I. Inf. Comput. 100(1), 1\u201340 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"I. Inf. Comput."},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. II. Inf. Comput. 100(1), 41\u201377 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90009-5","journal-title":"II. Inf. Comput."},{"key":"20_CR19","doi-asserted-by":"publisher","unstructured":"Piterman, N., Pnueli, A.: Temporal logic and fair discrete systems. In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 27\u201373. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_2","DOI":"10.1007\/978-3-319-10575-8_2"},{"key":"20_CR20","unstructured":"Wooldridge, M.J.: An Introduction to MultiAgent Systems, Second Edition. Wiley (2009)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:14:02Z","timestamp":1729926842000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 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"}}]}}