192
IRUS TotalDownloads
Altmetric
A gentle introduction to multiparty asynchronous session types
| File | Description | Size | Format | |
|---|---|---|---|---|
 gentle-introduction.pdf | Submitted version | 277.93 kB | Adobe PDF | View/Open |
| Title: | A gentle introduction to multiparty asynchronous session types |
| Authors: | Coppo, M Dezani-Ciancaglini, M Padovani, L Yoshida, N |
| Item Type: | Conference Paper |
| Issue 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: | Computing Faculty of Engineering |