Description: This tool implements a sound algorithm to check whether a session type is an asynchronous subtype of another. The algorithm is defined in the paper: A Sound Algorithm for Asynchronous Session Subtyping by Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, and Gianluigi Zavattaro (CONCUR’19).

Developed at: UKENT, UNIBO, ITU

Contacts: Julien Lange

Available at: https://github.com/julien-lange/asynchronous-subtyping