TY  - BOOK
AU  - Tuosto,Emilio
AU  - Ouyang,Chun
TI  - Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers 
SN  - 9783319082608
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - User interfaces (Computer systems)
KW  - Management information systems
N1  - Introducing cloud activities around pacific rim -- Choreography revisited -- On the behaviour of general-purpose applications on cloud storages -- Formalizing RESTful services and web-OS middleware -- Visualization of successor relations in business process models -- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach -- Safe orchestration of Web services with unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running transactions
UR  - http://dx.doi.org/10.1007/978-3-319-08260-8
ER  -