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

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.