Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

By: Chun Ouyang (Editor), Emilio Tuosto (Editor)

Write A Review

Paperback | 25 July 2014

At a Glance

Paperback
200 Pages

Dimensions(cm)
23.2 x 15.6 x 1.4

Paperback

$64.99

or 4 interest-free payments of $16.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.