A Sound and Complete Characterization of Fair Asynchronous Session Subtyping.

Mario Bravetti, Luca Padovani, Gianluigi Zavattaro

Browse the full CONCUR paper archive.