Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Mixed Choice Multiparty Session Types, Precisely
Jake Masters, Nobuko Yoshida
A precise (sound and complete) subtyping relation specifies that is a subtype of if and only if a program of type can always safely replace a program of type $…
cs.LO2026
Formally Verified Liveness with Multiparty Session Types in Rocq
Omer Keskin, Nobuko Yoshida, Rob van Glabbeek
Multiparty session types (MPST) offer a framework for the description of communication-based protocols involving multiple participants. In the top-down approach to MPST, the commun…
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…