A Session Subtyping Tool.

Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Browse the full Coordination paper archive.