Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan. Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. In Jan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Volume 14390 of Lecture Notes in Computer Science, pages 274-288, Springer, 2023. [doi]
Abstract is missing.