Mobility Reading Group

A Gentle Introduction to Multiparty Asynchronous Session Types

Mario COPPO, Mariangiola DEZANI-CIANCAGLINI, Luca PADOVANI, Nobuko YOSHIDA

15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming (SFM-15:MP). p. 146 - 178

This article provides a gentle introduction to multiparty session types, a class of behavioural types specifically targeted at describing protocols in distributed systems based on asynchronous communication. The type system ensures well-typed processes to enjoy non-trivial properties, including communication safety, protocol fidelity, as well as progress. The adoption of multiparty session types can positively affect the whole software lifecycle, from design to deployment, improving software reliability and reducing its development costs.

Paper Electronic version via DOI

BibTeX
Short
Long

@inproceedings{CDPY2015,
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Luca Padovani and Nobuko Yoshida},
  title = {{A Gentle Introduction to Multiparty Asynchronous Session Types}},
  booktitle = {15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming},
  series = {LNCS},
  volume = {9104},
  pages = {146--178},
  publisher = {Springer},
  year = 2015
}

@inproceedings{CDPY2015,
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Luca Padovani and Nobuko Yoshida},
  title = {{A Gentle Introduction to Multiparty Asynchronous Session Types}},
  booktitle = {15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming},
  series = {LNCS},
  volume = {9104},
  pages = {146--178},
  publisher = {Springer},
  doi = "10.1007/978-3-319-18941-3_4",
  year = 2015
}