Fair subtyping for multi-party session types

Luca Padovani. Fair subtyping for multi-party session types. Mathematical Structures in Computer Science, 26(3):424-464, 2016. [doi]

Abstract

Abstract is missing.