2 papers
cs.PL2025
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
Session types are abstractions of communication protocols enabling the static analysis of message-passing processes. Refinement notions for session types are key to support safe fo…
cs.PL2024
Fair Asynchronous Session Subtyping
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component wi…