"Asynchronous Session Types: Exceptions and Multiparty Interactions."

Marco Carbone, Nobuko Yoshida, Kohei Honda (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics