default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2008: Milan, 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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2008
Roberto Bruni, Karsten Wolf:
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5387, Springer 2009, ISBN 978-3-642-01363-8
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BravettiZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BravettiZ08
Mario Bravetti, Gianluigi Zavattaro:
On the Expressive Power of Process Interruption and Compensation. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BarkaouiBH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BarkaouiBH08
Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur:
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. 19-36
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BravettiZ08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BravettiZ08a
Mario Bravetti, Gianluigi Zavattaro:
Contract Compliance and Choreography Conformance in the Presence of Message Queues. 37-54
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ChesaniMMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ChesaniMMT08
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus. 55-72
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/DeckerLOSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/DeckerLOSW08
Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske:
RESTful Petri Net Execution. 73-87
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Dragone08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Dragone08
Luigi Dragone:
Validation and Discovery of Non-deterministic Semantic e-Services. 88-106
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/EisentrautS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/EisentrautS08
Christian Eisentraut, David Spieler:
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. 107-126
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FerrariGST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FerrariGST08
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions. 127-142
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FrantzenHKW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FrantzenHKW08
Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet:
On-The-Fly Model-Based Testing of Web Services with Jambition. 143-157
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FernandoS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FernandoS08
Sarah D. Induruwa Fernando, Andrew C. Simpson:
Towards a Formal Framework for Workflow Interoperability. 158-174
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Kolundzija08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Kolundzija08
Marija Kolundzija:
Security Types for Sessions and Pipelines. 175-190
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Lohmann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Lohmann08
Niels Lohmann:
Why Does My Service Have No Partners?. 191-206
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MooijV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MooijV08
Arjan J. Mooij, Marc Voorhoeve:
Proof Techniques for Adapter Generation. 207-223
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Weinberg08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Weinberg08
Daniela Weinberg:
Efficient Controllability Analysis of Open Nets. 224-239

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.