On the Behaviour of General-Purpose Applications on Cloud Storages
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-319-08260-8_3
Publication URI: http://dx.doi.org/10.1007/978-3-319-08260-8_3
Type: Book Chapter
Book Title: Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (2014)
Page Reference: 29-47
ISBN: 978-3-319-08259-2