MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Asynchronous Session Types: Exceptions and Multiparty Interactions
Marco CARBONE , Nobuko YOSHIDA , Kohei HONDA
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2009) p. 187 - 212

Session types are a formalism for structuring communication based on the notion of session: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and validating interactions involving more complex scenarios. In this note, we shall explore two extensions of session types to interactional exceptions and multiparty session in presence of asynchronous communication.

@inproceedings{CYH2009,
  author = {Marco Carbone and Nobuko Yoshida and Kohei Honda},
  title = {{Asynchronous Session Types: Exceptions and Multiparty Interactions}},
  booktitle = {Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems},
  series = {LNCS},
  volume = {5569},
  pages = {187--212},
  publisher = {Springer},
  year = 2009
}
@inproceedings{CYH2009,
  author = {Marco Carbone and Nobuko Yoshida and Kohei Honda},
  title = {{Asynchronous Session Types: Exceptions and Multiparty Interactions}},
  booktitle = {Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems},
  series = {LNCS},
  volume = {5569},
  pages = {187--212},
  publisher = {Springer},
  doi = "10.1007/978-3-642-01918-0_5",
  year = 2009
}