Asynchronous Session Types: Exceptions and Multiparty Interactions

First Author: Carbone M
Attributed to:  Engineering Foundations of Web Services: Theories and Tool Support funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-01918-0_5

Publication URI: http://dx.doi.org/10.1007/978-3-642-01918-0_5

Type: Book Chapter

Book Title: Formal Methods for Web Services (2009)

Page Reference: 187-212

ISBN: 978-3-642-01917-3