6 citations · 8 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
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…
Precise Subtyping for Asynchronous Multiparty Sessions
Silvia Ghilezan, Jovanka Pantović, Ivan Prokić +2
This paper presents the first formalisation of the precise subtyping relation for asynchronous multiparty sessions. We show that our subtyping relation is sound (i.e., guarantees s…