MobilityReadingGroup

Structured Interactional Exceptions in Session Types

Marco CARBONE, Kohei HONDA, Nobuko YOSHIDA

We propose an interactional generalisation of structured exceptions based on the session type discipline. Interactional exceptions allow communicating peers to asynchronously and collaboratively escape from the middle of a dialogue and reach another in a coordinated fashion, under an arbitrary nesting of exceptions. New exception types guarantee communication safety and offer a precise type-abstraction of advanced conversation patterns found in practice. Protocols for coordinating normal and exceptional exit among asynchronously running sessions are introduced. The liveness property established under these protocols guarantees consistency of coordinated exception handling among communicating peers.

@inproceedings{CHY2008,
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
  title = {{Structured Interactional Exceptions in Session Types}},
  booktitle = {19th International Conference on Concurrency Theory},
  series = {LNCS},
  volume = {5201},
  pages = {402--417},
  publisher = {Springer},
  year = 2008
}

@inproceedings{CHY2008,
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
  title = {{Structured Interactional Exceptions in Session Types}},
  booktitle = {19th International Conference on Concurrency Theory},
  series = {LNCS},
  volume = {5201},
  pages = {402--417},
  publisher = {Springer},
  doi = "10.1007/978-3-540-85361-9_32",
  year = 2008
}