A Gentle Introduction to Multiparty Asynchronous Session Types

First Author: Coppo M

Attributed to: Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-18941-3_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-18941-3_4

Type: Book Chapter

Book Title: Formal Methods for Multicore Programming - 15th 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)

Page Reference: 146-178

ISBN: 978-3-319-18940-6