Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BaldamusBFR04,
  author       = {Michael Baldamus and
                  Jesper Bengtson and
                  Gian{-}Luigi Ferrari and
                  Roberto Raggi},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Web Services as a New Approach to Distributing and Coordinating Semantics-Based
                  Veri cation Toolkits},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {11--20},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.024},
  doi          = {10.1016/J.ENTCS.2004.02.024},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldamusBFR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaldoniBMP04,
  author       = {Matteo Baldoni and
                  Cristina Baroglio and
                  Alberto Martelli and
                  Viviana Patti},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Reasoning About Interaction Protocols for Web Service Composition},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {21--36},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.023},
  doi          = {10.1016/J.ENTCS.2004.02.023},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldoniBMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BocchiW04,
  author       = {Laura Bocchi and
                  Lucian Wischik},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {A Process Calculus of Atomic Commit},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {119--132},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.003},
  doi          = {10.1016/J.ENTCS.2004.05.003},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BocchiW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BravettiZ04,
  author       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Preface},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.001},
  doi          = {10.1016/J.ENTCS.2004.11.001},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BravettiZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrogiCPV04,
  author       = {Antonio Brogi and
                  Carlos Canal and
                  Ernesto Pimentel and
                  Antonio Vallecillo},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Formalizing Web Service Choreographies},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {73--94},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.007},
  doi          = {10.1016/J.ENTCS.2004.05.007},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BrogiCPV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HeckelCL04,
  author       = {Reiko Heckel and
                  Alexey Cherchago and
                  Marc Lohmann},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {A Formal Approach to Service Specification and Matching based on Graph
                  Transformation},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {37--49},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.006},
  doi          = {10.1016/J.ENTCS.2004.05.006},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HeckelCL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JohnsonLLV04,
  author       = {James E. Johnson and
                  David E. Langworthy and
                  Leslie Lamport and
                  Friedrich H. Vogt},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Formal Specification of a Web Services Protocol},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {147--158},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.022},
  doi          = {10.1016/J.ENTCS.2004.02.022},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnsonLLV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MazzaraL04,
  author       = {Manuel Mazzara and
                  Roberto Lucchi},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {A Framework for Generic Error Handling in Business Processes},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {133--145},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.002},
  doi          = {10.1016/J.ENTCS.2004.05.002},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MazzaraL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Montanari04,
  author       = {Ugo Montanari},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Web Services and Models of Computation},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {5--9},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.009},
  doi          = {10.1016/J.ENTCS.2004.05.009},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Montanari04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PistoreRB04,
  author       = {Marco Pistore and
                  Marco Roveri and
                  Paolo Busetta},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Requirements-Driven Verification of Web Services},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {95--108},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.005},
  doi          = {10.1016/J.ENTCS.2004.05.005},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Venzke04,
  author       = {Marcus Venzke},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Specifications using XQuery Expressions on Traces},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {109--118},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.004},
  doi          = {10.1016/J.ENTCS.2004.05.004},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Venzke04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Viroli04a,
  author       = {Mirko Viroli},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Towards a Formal Foundation to Orchestration Languages},
  booktitle    = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  pages        = {51--71},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.008},
  doi          = {10.1016/J.ENTCS.2004.05.008},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Viroli04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wsfm/2004,
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {Proceedings of the First International Workshop on Web Services and
                  Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {105},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/105/suppl/C},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.