Multiparty Session Types Meet Communicating Automata

First Author: Deniélou P
Attributed to:  Multiparty Session Types: Theory and Conversation-Oriented Programming funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-28869-2_10

Publication URI: http://dx.doi.org/10.1007/978-3-642-28869-2_10

Type: Book Chapter

Book Title: Programming Languages and Systems (2012)

Page Reference: 194-213

ISBN: 978-3-642-28868-5