![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
WS-FM 2009: Bologna, Italy
- Cosimo Laneve, Jianwen Su:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.