{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T20:07:15Z","timestamp":1770754035584,"version":"3.50.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031492518","type":"print"},{"value":"9783031492525","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,11,29]],"date-time":"2023-11-29T00:00:00Z","timestamp":1701216000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,29]],"date-time":"2023-11-29T00:00:00Z","timestamp":1701216000000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-49252-5_25","type":"book-chapter","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T06:02:12Z","timestamp":1701151332000},"page":"274-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Correct Orchestration of\u00a0Federated Learning Generic Algorithms: Formalisation and\u00a0Verification in\u00a0CSP"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5420-1527","authenticated-orcid":false,"given":"Ivan","family":"Proki\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2253-8285","authenticated-orcid":false,"given":"Silvia","family":"Ghilezan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7161-3926","authenticated-orcid":false,"given":"Simona","family":"Ka\u0161terovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8385-149X","authenticated-orcid":false,"given":"Miroslav","family":"Popovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1957-0092","authenticated-orcid":false,"given":"Marko","family":"Popovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3417-7237","authenticated-orcid":false,"given":"Ivan","family":"Ka\u0161telan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,29]]},"reference":[{"key":"25_CR1","unstructured":"A world where every good question is answered. https:\/\/www.openmined.org. Accessed 15 Mar 2023"},{"key":"25_CR2","unstructured":"An industrial grade federated learning framework. https:\/\/fate.fedai.org\/. Accessed 15 Mar 2023"},{"key":"25_CR3","unstructured":"An open-source deep learning platform originated from industrial practice. https:\/\/www.paddlepaddle.org.cn\/en. Accessed 15 Mar 2023"},{"key":"25_CR4","doi-asserted-by":"publisher","unstructured":"Bonawitz, K.A., et al.: Practical secure aggregation for privacy-preserving machine learning. In: Thuraisingham, B., Evans, D., Malkin, T., Xu, D. (eds.) Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, 30 October\u20133 November 2017, pp. 1175\u20131191. ACM (2017). https:\/\/doi.org\/10.1145\/3133956.3133982","DOI":"10.1145\/3133956.3133982"},{"issue":"4","key":"25_CR5","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/3500240","volume":"65","author":"KA Bonawitz","year":"2022","unstructured":"Bonawitz, K.A., Kairouz, P., McMahan, B., Ramage, D.: Federated learning and privacy. Commun. ACM 65(4), 90\u201397 (2022). https:\/\/doi.org\/10.1145\/3500240","journal-title":"Commun. ACM"},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Feraudo, A., et al.: CoLearn: Enabling federated learning in MUD-compliant IoT edge networks. In: Proceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking, pp. 25\u201330. EdgeSys 2020. Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3378679.3394528","DOI":"10.1145\/3378679.3394528"},{"key":"25_CR7","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"25_CR8","doi-asserted-by":"publisher","unstructured":"Hu, R., Yoshida, N.: Explicit connection actions in multiparty session types. In: Huisman, M., Rubin, J. (eds.) Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 22\u201329 April 2017, Proceedings. LNCS, vol. 10202, pp. 116\u2013133. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_7","DOI":"10.1007\/978-3-662-54494-5_7"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3390\/s21010167","volume":"21","author":"I Kholod","year":"2021","unstructured":"Kholod, I., et al.: Open-source federated learning frameworks for IoT: A comparative review and analysis. Sensors 21(1), 167 (2021)","journal-title":"Sensors"},{"key":"25_CR10","unstructured":"Kone\u010dn\u00fd, J., McMahan, H.B., Yu, F.X., Richt\u00e1rik, P., Suresh, A.T., Bacon, D.: Federated learning: Strategies for improving communication efficiency (2017). http:\/\/arxiv.org\/abs\/1610.05492"},{"key":"25_CR11","doi-asserted-by":"publisher","unstructured":"Kuhn, R., Melgratti, H.C., Tuosto, E.: Behavioural types for local-first software. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, 17\u201321 July 2023, Seattle, Washington, United States. LIPIcs, vol. 263, pp. 15:1\u201315:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2023.15","DOI":"10.4230\/LIPIcs.ECOOP.2023.15"},{"key":"25_CR12","unstructured":"McMahan, B.: \u201cFederated learning from research to practice\u201d, a presentation hosted by Carnegie Mellon University seminar series. https:\/\/www.pdl.cmu.edu\/SDI\/2019\/slides\/2019-09-05Federated. Accessed 15 Mar 2023"},{"key":"25_CR13","unstructured":"McMahan, B., Moore, E., Ramage, D., Hampson, S., y Arcas, B.A.: Communication-efficient learning of deep networks from decentralized data. In: Singh, A., Zhu, X.J. (eds.) Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017, 20\u201322 April 2017, Fort Lauderdale, FL, USA. Proceedings of Machine Learning Research, vol. 54, pp. 1273\u20131282. PMLR (2017). http:\/\/proceedings.mlr.press\/v54\/mcmahan17a.html"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Mittone, G., et al.: Experimenting with emerging RISC-V systems for decentralised machine learning (2023)","DOI":"10.1145\/3587135.3592211"},{"issue":"4","key":"25_CR15","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/3512343","volume":"65","author":"D Perino","year":"2022","unstructured":"Perino, D., Katevas, K., Lutu, A., Marin, E., Kourtellis, N.: Privacy-preserving AI for future networks. Commun. ACM 65(4), 52\u201353 (2022). https:\/\/doi.org\/10.1145\/3512343","journal-title":"Commun. ACM"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Popovic, M., Popovic, M., Kastelan, I., Djukic, M., Ghilezan, S.: A simple Python testbed for federated learning algorithms. CoRR abs\/2305.20027 (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.20027","DOI":"10.1109\/ZINC58345.2023.10173859"},{"key":"25_CR17","doi-asserted-by":"publisher","unstructured":"Popovic, M., Popovic, M., Kastelan, I., Djukic, M., Ghilezan, S.: A simple Python testbed for federated learning algorithms. In: 2023 Zooming Innovation in Consumer Technologies Conference (ZINC), pp. 148\u2013153 (2023). https:\/\/doi.org\/10.1109\/ZINC58345.2023.10173859","DOI":"10.1109\/ZINC58345.2023.10173859"},{"key":"25_CR18","unstructured":"Privacy-preserving artificial intelligence to advance humanity. https:\/\/sherpa.ai. Accessed 15 Mar 2023"},{"key":"25_CR19","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-981-16-4016-2_20","volume-title":"Smart Trends in Computing and Communications","author":"C Shen","year":"2022","unstructured":"Shen, C., Xue, W.: An experiment study on federated learning testbed. In: Zhang, Y.-D., Senjyu, T., So-In, C., Joshi, A. (eds.) Smart Trends in Computing and Communications. LNNS, vol. 286, pp. 209\u2013217. Springer, Singapore (2022). https:\/\/doi.org\/10.1007\/978-981-16-4016-2_20"},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"114468","DOI":"10.1109\/ACCESS.2021.3104475","volume":"9","author":"M Simic","year":"2021","unstructured":"Simic, M., Prokic, I., Dedeic, J., Sladic, G., Milosavljevic, B.: Towards edge computing as a service: Dynamic formation of the micro data-centers. IEEE Access 9, 114468\u2013114484 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3104475","journal-title":"IEEE Access"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards flexible verification under fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 709\u2013714. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_59"},{"key":"25_CR22","unstructured":"TaRDIS: Trustworthy and resilient decentralised intelligence for edge systems. https:\/\/www.project-tardis.eu\/"},{"key":"25_CR23","unstructured":"TensorFlow Federated: Machine learning on decentralized data. https:\/\/www.tensorflow.org\/federated. Accessed 15 Mar 2023"},{"key":"25_CR24","unstructured":"Ying, B., Yuan, K., Chen, Y., Hu, H., Pan, P., Yin, W.: Exponential graph is provably efficient for decentralized deep training (2021)"},{"key":"25_CR25","unstructured":"Ying, B., Yuan, K., Hu, H., Chen, Y., Yin, W.: BlueFog: Make decentralized algorithms practical for optimization and deep learning. CoRR abs\/2111.04287 (2021). https:\/\/arxiv.org\/abs\/2111.04287"},{"key":"25_CR26","doi-asserted-by":"publisher","unstructured":"Zhang, T., He, C., Ma, T., Gao, L., Ma, M., Avestimehr, S.: Federated learning for Internet of Things. In: Proceedings of the 19th ACM Conference on Embedded Networked Sensor Systems, SenSys 2021, pp. 413\u2013419. Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3485730.3493444","DOI":"10.1145\/3485730.3493444"}],"container-title":["Lecture Notes in Computer Science","Engineering of Computer-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-49252-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:08:07Z","timestamp":1701734887000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-49252-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,29]]},"ISBN":["9783031492518","9783031492525"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-49252-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,29]]},"assertion":[{"value":"29 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECBS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Engineering of Computer-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"V\u00e4ster\u00e5s","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecbseerc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecbs-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.42","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.02","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}