
Electronic Notes in Theoretical Computer Science, Volume 105
Volume 105, December 2004
- Mario Bravetti, Gianluigi Zavattaro:
Preface. 1-4 - Ugo Montanari:
Web Services and Models of Computation. 5-9 - 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 - Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition. 21-36 - Reiko Heckel, Alexey Cherchago, Marc Lohmann:
A Formal Approach to Service Specification and Matching based on Graph Transformation. 37-49 - Mirko Viroli
:
Towards a Formal Foundation to Orchestration Languages. 51-71 - Antonio Brogi, Carlos Canal
, Ernesto Pimentel
, Antonio Vallecillo
:
Formalizing Web Service Choreographies. 73-94 - Marco Pistore, Marco Roveri, Paolo Busetta:
Requirements-Driven Verification of Web Services. 95-108 - Marcus Venzke:
Specifications using XQuery Expressions on Traces. 109-118 - Laura Bocchi, Lucian Wischik:
A Process Calculus of Atomic Commit. 119-132 - Manuel Mazzara
, Roberto Lucchi:
A Framework for Generic Error Handling in Business Processes. 133-145 - 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.