Web Services and Formal Methods  6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /  [electronic resource] : 
edited by Cosimo Laneve, Jianwen Su. 
 - 1st ed. 2010. 
 - VII, 197 p. 60 illus.  online resource. 
 - Programming and Software Engineering,  6194  2945-9168 ; .
 - Programming and Software Engineering,  6194 .
<br/><br/>Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update. 
<br/><br/><label>ISBN: </label>9783642144585 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-14458-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks .<br/>Application software.<br/>Information storage and retrieval systems.<br/>Software engineering.<br/>Multimedia systems.<br/>Computer Communication Networks.<br/>Computer and Information Systems Applications.<br/>Information Storage and Retrieval.<br/>Software Engineering.<br/>Multimedia Information Systems.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.6