WS-FM 2009:
Bologna,
Italy
Cosimo Laneve, Jianwen Su (Eds.):
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 6194 Springer 2010, ISBN 978-3-642-14457-8 
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Sessions and Session Types: An Overview.
1-28
- Chiara Bodei, Gian Luigi Ferrari:
Choreography Rehearsal.
29-45
- Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services.
46-60
- Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore:
A Formalisation of Adaptable Pervasive Flows.
61-75
- Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi:
Compliance Preorders for Web Services.
76-91
- Nicola Dragoni, Manuel Mazzara:
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way.
92-109
- Niels Lohmann, Karsten Wolf:
Realizability Is Controllability.
110-127
- Monica Marcus:
Specification and Verification of Multi-user Data-Driven Web Applications.
128-146
- Giuseppe De Giacomo, Fabio Patrizi:
Automated Composition of Nondeterministic Stateful Services.
147-160
- Cátia Vaz, Carla Ferreira:
Towards Compensation Correctness in Interactive Systems.
161-177
- Philippa Gardner, Mark J. Wheelhouse:
Small Specifications for Tree Update.
178-195
Last update Fri May 25 08:50:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
