{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:23:10Z","timestamp":1770751390865,"version":"3.50.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032111753","type":"print"},{"value":"9783032111760","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-11176-0_11","type":"book-chapter","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T20:11:25Z","timestamp":1763842285000},"page":"164-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Asynchronous Multiparty Session Types for\u00a0Federated Learning"],"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-0002-7161-3926","authenticated-orcid":false,"given":"Simona","family":"Proki\u0107","sequence":"additional","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-1153-6164","authenticated-orcid":false,"given":"Alceste","family":"Scalas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3925-8557","authenticated-orcid":false,"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. Log. Methods Comput. Sci. 12(4) (2016)","DOI":"10.2168\/LMCS-12(4:7)2016"},{"key":"11_CR2","unstructured":"Barwell, A.D., Hou, P., Yoshida, N., Zhou, F.: Designing asynchronous multiparty protocols with crash-stop failures. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, 17\u201321 July 2023. LIPIcs, vol.\u00a0263, pp. 1:1\u20131:30. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2023.1"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Beltr\u00e1n, E.T.M., et al.: Decentralized federated learning: Fundamentals, state of the art, frameworks, trends, and challenges. IEEE Commun. Surv. Tutorials 25(4), 2983\u20133013 (2023). https:\/\/doi.org\/10.1109\/COMST.2023.3315746","DOI":"10.1109\/COMST.2023.3315746"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Bhuyan, N., Moharir, S.: Multi-model federated learning. In: 14th International Conference on COMmunication Systems & NETworkS, COMSNETS 2022, Bangalore, India, 4\u20138 January 2022, pp. 779\u2013783. IEEE (2022). https:\/\/doi.org\/10.1109\/COMSNETS53615.2022.9668435","DOI":"10.1109\/COMSNETS53615.2022.9668435"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Djukic, M., Prokic, I., Popovic, M., Ghilezan, S., Popovic, M., Prokic, S.: Correct orchestration of federated learning generic algorithms: python translation to CSP and verification by PAT. Int. J. Softw. Tools Technol. Transf. 27(1), 21\u201334 (2025). https:\/\/doi.org\/10.1007\/s10009-025-00795-0","DOI":"10.1007\/s10009-025-00795-0"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Gheri, L., Lanese, I., Sayers, N., Tuosto, E., Yoshida, N.: Design-by-contract for flexible multiparty session protocols. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6\u201310 June 2022. LIPIcs, vol.\u00a0222, pp. 8:1\u20138:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022), https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2022.8","DOI":"10.4230\/LIPIcs.ECOOP.2022.8"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Ghilezan, S., Pantovic, J., Prokic, I., Scalas, A., Yoshida, N.: Precise subtyping for asynchronous multiparty sessions. ACM Trans. Comput. Log. 24(2), 14:1\u201314:73 (2023). https:\/\/doi.org\/10.1145\/3568422","DOI":"10.1145\/3568422"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R., H\u00f6fner, P.: Progress, justness, and fairness. ACM Comput. Surv. 52(4), 69:1\u201369:38 (2019). https:\/\/doi.org\/10.1145\/3329125","DOI":"10.1145\/3329125"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016). https:\/\/doi.org\/10.1145\/2827695","DOI":"10.1145\/2827695"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-662-54494-5_7","volume-title":"Fundamental Approaches to Software Engineering","author":"R Hu","year":"2017","unstructured":"Hu, R., Yoshida, N.: Explicit connection actions in multiparty session types. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 116\u2013133. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_7"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-25540-4_6","volume-title":"Computer Aided Verification","author":"J Lange","year":"2019","unstructured":"Lange, J., Yoshida, N.: Verifying asynchronous interactions via communicating session automata. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 97\u2013117. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_6"},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Li, E., Stutz, F., Wies, T., Zufferey, D.: Complete multiparty session type projection with automata. In: Enea, C., Lal, A. (eds.) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, 17\u201322 July 2023, Proceedings, Part III. Lecture Notes in Computer Science, vol. 13966, pp. 350\u2013373. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_17","DOI":"10.1007\/978-3-031-37709-9_17"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Li, E., Stutz, F., Wies, T., Zufferey, D.: Characterizing implementability of global protocols with infinite states and data. CoRR arxiv:2411.05722 (2024). https:\/\/doi.org\/10.48550\/arXiv.2411.05722","DOI":"10.48550\/arXiv.2411.05722"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Majumdar, R., Mukund, M., Stutz, F., Zufferey, D.: Generalising projection in asynchronous multiparty session types. In: Haddad, S., Varacca, D. (eds.) 32nd International Conference on Concurrency Theory, CONCUR 2021, 24\u201327 August 2021, Virtual Conference. LIPIcs, vol.\u00a0203, pp. 35:1\u201335:24. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2021.35","DOI":"10.4230\/LIPIcs.CONCUR.2021.35"},{"key":"11_CR15","unstructured":"McMahan, B., Moore, E., Ramage, D., Hampson, S., 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, Fort Lauderdale, FL, USA, 20\u201322 April 2017. Proceedings of Machine Learning Research, vol.\u00a054, pp. 1273\u20131282. PMLR (2017). http:\/\/proceedings.mlr.press\/v54\/mcmahan17a.html"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Peters, K., Yoshida, N.: Separation and encodability in mixed choice multiparty sessions. In: Sobocinski, P., Lago, U.D., Esparza, J. (eds.) Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, 8\u201311 July 2024, pp. 62:1\u201362:15. ACM (2024). https:\/\/doi.org\/10.1145\/3661814.3662085","DOI":"10.1145\/3661814.3662085"},{"key":"11_CR17","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"11_CR18","doi-asserted-by":"crossref","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. IEEE (2023)","DOI":"10.1109\/ZINC58345.2023.10173859"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Prokic, I., Ghilezan, S., Kasterovic, S., Popovic, M., Popovic, M., Kastelan, I.: Correct orchestration of federated learning generic algorithms: formalisation and verification in CSP. In: Kofron, J., Margaria, T., Seceleanu, C. (eds.) Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, V\u00e4ster\u00e5s, Sweden, 16\u201318 October 2023, Proceedings. Lecture Notes in Computer Science, vol. 14390, pp. 274\u2013288. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-49252-5_25","DOI":"10.1007\/978-3-031-49252-5_25"},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Scalas, A., Yoshida, N.: Less is more: multiparty session types revisited. PACMPL 3(POPL), 30:1\u201330:29 (2019). https:\/\/doi.org\/10.1145\/3290343","DOI":"10.1145\/3290343"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Simic, M., Dedeic, J., Stojkov, M., Prokic, I.: A hierarchical namespace approach for multi-tenancy in distributed clouds. IEEE Access 12, 32597\u201332617 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3369031","DOI":"10.1109\/ACCESS.2024.3369031"},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Simic, M., Dedeic, J., Stojkov, M., Prokic, I.: Data overlay mesh in distributed clouds allowing collaborative applications. IEEE Access 13, 6180\u20136203 (2025). https:\/\/doi.org\/10.1109\/ACCESS.2024.3525336","DOI":"10.1109\/ACCESS.2024.3525336"},{"key":"11_CR23","doi-asserted-by":"publisher","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","DOI":"10.1109\/ACCESS.2021.3104475"},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Stutz, F.: Asynchronous multiparty session type implementability is decidable - lessons learned from message sequence charts. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, 17\u201321 July 2023. LIPIcs, vol.\u00a0263, pp. 32:1\u201332:31. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2023.32","DOI":"10.4230\/LIPIcs.ECOOP.2023.32"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Stutz, F., D\u2019Osualdo, E.: An automata-theoretic basis for specification and type checking of multiparty protocols. In: Vafeiadis, V. (ed.) Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Hamilton, ON, Canada, 3\u20138 May 2025, Proceedings, Part II. Lecture Notes in Computer Science, vol. 15695, pp. 314\u2013346. Springer, Heidelberg (2025). https:\/\/doi.org\/10.1007\/978-3-031-91121-7_13","DOI":"10.1007\/978-3-031-91121-7_13"},{"key":"11_CR26","doi-asserted-by":"publisher","unstructured":"Udomsrirungruang, T., Yoshida, N.: Top-down or bottom-up? Complexity analyses of synchronous multiparty session types. Proc. ACM Program. Lang. 9(POPL), 1040\u20131071 (2025). https:\/\/doi.org\/10.1145\/3704872","DOI":"10.1145\/3704872"},{"issue":"21","key":"11_CR27","doi-asserted-by":"publisher","first-page":"34617","DOI":"10.1109\/JIOT.2024.3407584","volume":"11","author":"L Yuan","year":"2024","unstructured":"Yuan, L., Wang, Z., Sun, L., Yu, P.S., Brinton, C.G.: Decentralized federated learning: a survey and perspective. IEEE Internet Things J. 11(21), 34617\u201334638 (2024). https:\/\/doi.org\/10.1109\/JIOT.2024.3407584","journal-title":"IEEE Internet Things J."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-11176-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T11:09:47Z","timestamp":1770721787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-11176-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,23]]},"ISBN":["9783032111753","9783032111760"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-11176-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,23]]},"assertion":[{"value":"23 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2025.digital-hub.sh\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}