A Sound Algorithm for Asynchronous Session Subtyping.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Browse the full CONCUR paper archive.