default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2009: Bologna, Italy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > WS-FM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2009
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
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Dezani-Ciancaglinid09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Dezani-Ciancaglinid09
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Sessions and Session Types: An Overview. 1-28
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BodeiF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BodeiF09
Chiara Bodei, Gian-Luigi Ferrari:
Choreography Rehearsal. 29-45
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BruniGL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BruniGL09
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services. 46-60
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BucchiaroneLMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BucchiaroneLMP09
Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore:
A Formalisation of Adaptable Pervasive Flows. 61-75
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BugliesiMPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BugliesiMPR09
Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi:
Compliance Preorders for Web Services. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/DragoniM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/DragoniM09
Nicola Dragoni, Manuel Mazzara:
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. 92-109
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/LohmannW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/LohmannW09
Niels Lohmann, Karsten Wolf:
Realizability Is Controllability. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Marcus09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Marcus09
Monica Marcus:
Specification and Verification of Multi-user Data-Driven Web Applications. 128-146
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/GiacomoP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/GiacomoP09
Giuseppe De Giacomo, Fabio Patrizi:
Automated Composition of Nondeterministic Stateful Services. 147-160
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/VazF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/VazF09
Cátia Vaz, Carla Ferreira:
Towards Compensation Correctness in Interactive Systems. 161-177
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/GardnerW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/GardnerW09
Philippa Gardner, Mark J. Wheelhouse:
Small Specifications for Tree Update. 178-195

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.