A Theory of Design-by-Contract for Distributed Multiparty Interactions

First Author: Bocchi L

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-15375-4_12

Publication URI: http://dx.doi.org/10.1007/978-3-642-15375-4_12

Type: Book Chapter

Book Title: CONCUR 2010 - Concurrency Theory - 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings (2010)

Page Reference: 162-176

ISBN: 978-3-642-15374-7