3 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.PL2025
Fair Termination of Asynchronous Binary Sessions
Luca Padovani, Gianluigi Zavattaro
We study a theory of asynchronous session types ensuring that well-typed processes terminate under a suitable fairness assumption. Fair termination entails starvation freedom and o…
cs.DC2024
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
Iacopo Colonnelli, Doriana MediÄ, Alberto Mulone +3
In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow exec…