A Theory of Design-by-Contract for Distributed Multiparty Interactions
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-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