Search dblp for Publications

export results for "toc:db/journals/entcs/entcs105.bht:"

 download as .bib file

@article{DBLP:journals/entcs/BaldamusBFR04,
  author    = {Michael Baldamus and
               Jesper Bengtson and
               Gian Luigi Ferrari and
               Roberto Raggi},
  title     = {Web Services as a New Approach to Distributing and Coordinating Semantics-Based
               Veri cation Toolkits},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {11--20},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.02.024},
  doi       = {10.1016/j.entcs.2004.02.024},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BaldamusBFR04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BaldoniBMP04,
  author    = {Matteo Baldoni and
               Cristina Baroglio and
               Alberto Martelli and
               Viviana Patti},
  title     = {Reasoning About Interaction Protocols for Web Service Composition},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {21--36},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.02.023},
  doi       = {10.1016/j.entcs.2004.02.023},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BaldoniBMP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BocchiW04,
  author    = {Laura Bocchi and
               Lucian Wischik},
  title     = {A Process Calculus of Atomic Commit},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {119--132},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.003},
  doi       = {10.1016/j.entcs.2004.05.003},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BocchiW04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BravettiZ04,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {1--4},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.11.001},
  doi       = {10.1016/j.entcs.2004.11.001},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BravettiZ04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCPV04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel and
               Antonio Vallecillo},
  title     = {Formalizing Web Service Choreographies},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {73--94},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.007},
  doi       = {10.1016/j.entcs.2004.05.007},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCPV04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HeckelCL04,
  author    = {Reiko Heckel and
               Alexey Cherchago and
               Marc Lohmann},
  title     = {A Formal Approach to Service Specification and Matching based on Graph
               Transformation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {37--49},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.006},
  doi       = {10.1016/j.entcs.2004.05.006},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/HeckelCL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/JohnsonLLV04,
  author    = {James E. Johnson and
               David E. Langworthy and
               Leslie Lamport and
               Friedrich H. Vogt},
  title     = {Formal Specification of a Web Services Protocol},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {147--158},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.02.022},
  doi       = {10.1016/j.entcs.2004.02.022},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/JohnsonLLV04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MazzaraL04,
  author    = {Manuel Mazzara and
               Roberto Lucchi},
  title     = {A Framework for Generic Error Handling in Business Processes},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {133--145},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.002},
  doi       = {10.1016/j.entcs.2004.05.002},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/MazzaraL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Montanari04,
  author    = {Ugo Montanari},
  title     = {Web Services and Models of Computation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {5--9},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.009},
  doi       = {10.1016/j.entcs.2004.05.009},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Montanari04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PistoreRB04,
  author    = {Marco Pistore and
               Marco Roveri and
               Paolo Busetta},
  title     = {Requirements-Driven Verification of Web Services},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {95--108},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.005},
  doi       = {10.1016/j.entcs.2004.05.005},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Venzke04,
  author    = {Marcus Venzke},
  title     = {Specifications using XQuery Expressions on Traces},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {109--118},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.004},
  doi       = {10.1016/j.entcs.2004.05.004},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Venzke04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Viroli04a,
  author    = {Mirko Viroli},
  title     = {Towards a Formal Foundation to Orchestration Languages},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {51--71},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.008},
  doi       = {10.1016/j.entcs.2004.05.008},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Viroli04a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics