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.
CITATION STYLE
Coppo, M., Dezani-Ciancaglini, M., Padovani, L., & Yoshida, N. (2015). A gentle introduction to multiparty asynchronous session types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9104, pp. 146–178). Springer Verlag. https://doi.org/10.1007/978-3-319-18941-3_4
Mendeley helps you to discover research relevant for your work.