default search action

combined dblp search
author search
venue search
publication search

ask others

1st WSFM 2004: Pisa, 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 > WSFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/wsfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2004
Mario Bravetti, Gianluigi Zavattaro:
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004. Electronic Notes in Theoretical Computer Science 105, Elsevier 2004
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BravettiZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BravettiZ04
Mario Bravetti, Gianluigi Zavattaro:
Preface. 1-4
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Montanari04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Montanari04
Ugo Montanari:
Web Services and Models of Computation. 5-9
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldamusBFR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldamusBFR04
Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. 11-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldoniBMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldoniBMP04
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition. 21-36
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HeckelCL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HeckelCL04
Reiko Heckel, Alexey Cherchago, Marc Lohmann:
A Formal Approach to Service Specification and Matching based on Graph Transformation. 37-49
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Viroli04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Viroli04a
Mirko Viroli:
Towards a Formal Foundation to Orchestration Languages. 51-71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrogiCPV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrogiCPV04
Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo:
Formalizing Web Service Choreographies. 73-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PistoreRB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PistoreRB04
Marco Pistore, Marco Roveri, Paolo Busetta:
Requirements-Driven Verification of Web Services. 95-108
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Venzke04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Venzke04
Marcus Venzke:
Specifications using XQuery Expressions on Traces. 109-118
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BocchiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BocchiW04
Laura Bocchi, Lucian Wischik:
A Process Calculus of Atomic Commit. 119-132
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MazzaraL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MazzaraL04
Manuel Mazzara, Roberto Lucchi:
A Framework for Generic Error Handling in Business Processes. 133-145
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JohnsonLLV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JohnsonLLV04
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt:
Formal Specification of a Web Services Protocol. 147-158

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.