35 citations · 63 across the 23 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…
cs.LO2025
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…