A gentle introduction to multiparty asynchronous session types
File(s)gentle-introduction.pdf (277.93 KB)
Submitted version
Author(s)
Coppo, M
Dezani-Ciancaglini, M
Padovani, L
Yoshida, N
Type
Conference Paper
Abstract
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.
Date Issued
2015-05-07
Date Acceptance
2015-05-07
Citation
Formal Methods for Multicore Programming: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, 2015, 9104, pp.146-178
ISBN
978-3-319-18940-6
ISSN
0302-9743
Publisher
Springer
Start Page
146
End Page
178
Journal / Book Title
Formal Methods for Multicore Programming: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Volume
9104
Copyright Statement
© 2015 Springer International Publishing Switzerland. The final publication is available at Springer via https://dx.doi.org/10.1007/978-3-319-18941-3_4
Source
15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming
Publication Status
Published
Start Date
2015-06-15
Finish Date
2015-06-19
Coverage Spatial
Bertinoro, Italy