ask others

Electronic Notes in Theoretical Computer Science, Volume 105

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 105, December 2004

Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BravettiZ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BravettiZ04
Mario Bravetti, Gianluigi Zavattaro:
Preface. 1-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Montanari04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Montanari04
Ugo Montanari:
Web Services and Models of Computation. 5-9
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BaldamusBFR04
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/BaldoniBMP04
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/HeckelCL04
- ask others
- share record
  short 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
  authority control:
- export record
  dblp key:
  - journals/entcs/Viroli04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Viroli04a
Mirko Viroli:
Towards a Formal Foundation to Orchestration Languages. 51-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BrogiCPV04
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/PistoreRB04
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/Venzke04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Venzke04
Marcus Venzke:
Specifications using XQuery Expressions on Traces. 109-118
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BocchiW04
- ask others
- share record
  short 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
  authority control:
- export record
  dblp key:
  - journals/entcs/MazzaraL04
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/entcs/JohnsonLLV04
- ask others
- share record
  short 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