On the Behaviour of General-Purpose Applications on Cloud Storages

First Author: Bocchi L
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