L Padovani - Mathematical Structures in Computer Science, 2016 - cambridge.org
The subtyping relation defined for dyadic session type theories may compromise the
liveness of multi-party sessions. In this paper, we define a fair subtyping relation for multi …