A Gentle Introduction to Multiparty Asynchronous Session Types
Attributed to:
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
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