Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 105

> Home > Journals > Electronic Notes in Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 105, December 2004

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

- view
  - electronic edition via DOI (open access)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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

a service of

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.