On Asynchronous Multiparty Session Types for Federated Learning

Ivan Prokić, Simona Prokić, Silvia Ghilezan +2

This paper improves the session typing theory to support the modelling and verification of processes that implement federated learning protocols. To this end, we build upon the asy…