Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2025
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
RadosÅaw Jan Rowicki, Adrian Francalanza, Alceste Scalas
Many software applications rely on concurrent and distributed (micro)services that interact via message-passing and various forms of remote procedure calls (RPC). As these systems…