Web Services and Formal Methods

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

  • Cosimo Laneve
  • Jianwen Su
Conference proceedings WS-FM 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6194)

Table of contents

  1. Front Matter
  2. Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro
    Pages 1-28
  3. Chiara Bodei, Gian Luigi Ferrari
    Pages 29-45
  4. Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
    Pages 46-60
  5. Antonio Bucchiarone, Alberto Lluch Lafuente, Annapaola Marconi, Marco Pistore
    Pages 61-75
  6. Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
    Pages 76-91
  7. Nicola Dragoni, Manuel Mazzara
    Pages 92-109
  8. Niels Lohmann, Karsten Wolf
    Pages 110-127
  9. Giuseppe De Giacomo, Fabio Patrizi
    Pages 147-160
  10. Cátia Vaz, Carla Ferreira
    Pages 161-177
  11. Philippa Gardner, Mark Wheelhouse
    Pages 178-195
  12. Back Matter

About these proceedings

Keywords

Web Services calculus cloud computing control design formal methods graph syntax modeling pervasive computing pi-calculus semantics session types technology verification web applications

Editors and affiliations

  • Cosimo Laneve
    • 1
  • Jianwen Su
    • 2
  1. 1.Dipartimento de Scienze dell’InformazioneBolognaItaly
  2. 2.Department of Computer ScienceUniversity of California at Santa BarbaraSanta BarbaraUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14458-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14457-8
  • Online ISBN 978-3-642-14458-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book