A gentle introduction to multiparty asynchronous session types

File Description SizeFormat 
gentle-introduction.pdfSubmitted version277.93 kBAdobe PDFDownload
Title: A gentle introduction to multiparty asynchronous session types
Author(s): Coppo, M
Dezani-Ciancaglini, M
Padovani, L
Yoshida, N
Item Type: Conference Paper
Publication Date: 7-May-2015
Date of Acceptance: 7-May-2015
URI: http://hdl.handle.net/10044/1/27022
DOI: https://dx.doi.org/10.1007/978-3-319-18941-3_4
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
Conference Name: 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
Conference Place: Bertinoro, Italy
Appears in Collections:Faculty of Engineering
Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons