A number of members of the project, Mario Bravetti, Marco Carbone, Julien Lange, and Gianluigi Zavattaro, along with Nobuko Yoshida, have recently published a paper on asynchronous session subtyping at Concur 2019.
A number of members of the project, Mario Bravetti, Marco Carbone, Julien Lange, and Gianluigi Zavattaro, along with Nobuko Yoshida, have recently published a paper on asynchronous session subtyping at Concur 2019.