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