TY  - RPRT
TI  - Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
AU  - Ivan Prokić
AU  - Silvia Ghilezan
AU  - Simona Kašterović
AU  - Miroslav Popovic
AU  - Marko Popovic
AU  - Ivan Kaštelan
PY  - 2023
UR  - https://arxiv.org/abs/2306.14529
ID  - 2306.14529
ER  -