Structured Interactional Exceptions in Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Browse the full CONCUR paper archive.