Search dblp for Publications

export results for "toc:db/conf/wsfm/wsfm2013.bht:"

 download as .bib file

@proceedings{DBLP:conf/wsfm/2013,
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08260-8},
  doi          = {10.1007/978-3-319-08260-8},
  isbn         = {978-3-319-08259-2},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/BocchiM13,
  author       = {Laura Bocchi and
                  Hern{\'{a}}n C. Melgratti},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {On the Behaviour of General-Purpose Applications on Cloud Storages},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {29--47},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_3},
  doi          = {10.1007/978-3-319-08260-8\_3},
  timestamp    = {Wed, 17 Mar 2021 14:09:58 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/BocchiM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/Bravetti13,
  author       = {Mario Bravetti},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Formalizing RESTful Services and Web-OS Middleware},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {48--68},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_4},
  doi          = {10.1007/978-3-319-08260-8\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/Bravetti13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/Huang13,
  author       = {Weicheng Huang},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {The Development of Cloud Computing in Pacific Rim},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {3--12},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_1},
  doi          = {10.1007/978-3-319-08260-8\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/Huang13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/KunzeW13,
  author       = {Matthias Kunze and
                  Mathias Weske},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Visualization of Successor Relations in Business Process Models},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_5},
  doi          = {10.1007/978-3-319-08260-8\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/KunzeW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/MargheriMPT13,
  author       = {Andrea Margheri and
                  Massimiliano Masi and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Developing and Enforcing Policies for Access Control, Resource Usage,
                  and Adaptation - - {A} Practical Approach -},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {85--105},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_6},
  doi          = {10.1007/978-3-319-08260-8\_6},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/MargheriMPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/MichauxNF13,
  author       = {Jonathan Michaux and
                  Elie Najm and
                  Alessandro Fantechi},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Safe Session-Based Service Orchestration with Unreliable Communication},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {106--126},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_7},
  doi          = {10.1007/978-3-319-08260-8\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/MichauxNF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/SuS13,
  author       = {Jianwen Su and
                  Yutian Sun},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Choreography Revisited},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_2},
  doi          = {10.1007/978-3-319-08260-8\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/SuS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/WangH13,
  author       = {Wusheng Wang and
                  Thomas T. Hildebrandt},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive
                  Systems},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {127--146},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_8},
  doi          = {10.1007/978-3-319-08260-8\_8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/WangH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/XuYL13,
  author       = {Xian Xu and
                  Qiang Yin and
                  Huan Long},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {On the Expressiveness of Parameterization in Process-Passing},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {147--167},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_9},
  doi          = {10.1007/978-3-319-08260-8\_9},
  timestamp    = {Mon, 23 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/XuYL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/YuCW13,
  author       = {Hengbiao Yu and
                  Zhenbang Chen and
                  Ji Wang},
  editor       = {Emilio Tuosto and
                  Chun Ouyang},
  title        = {An Operational Semantics for Model Checking Long Running Transactions},
  booktitle    = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
                  2013, Beijing, China, August 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8379},
  pages        = {168--187},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-08260-8\_10},
  doi          = {10.1007/978-3-319-08260-8\_10},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/YuCW13.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.