Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP - Prokić, Ivan; Ghilezan, Silvia; Kašterović, Simona; Popovic, Miroslav; Popovic, Marko; Kaštelan, Ivan (2023)
Keywords: Computer Science - Distributed, Parallel, and Cluster Computing