Marco Carbone, Nobuko Yoshida, Kohei Honda. Asynchronous Session Types: Exceptions and Multiparty Interactions. In Marco Bernardo, Luca Padovani, Gianluigi Zavattaro, editors, Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Volume 5569 of Lecture Notes in Computer Science, pages 187-212, Springer, 2009. [doi]
Abstract is missing.