Programming and Software Engineering
© 2010
Web Services and Formal Methods
6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Editors: Laneve, Cosimo, Su, Jianwen (Eds.)
Free Preview- Unique visibility, state-of-the-art survey, fast-track conference proceedings
Buy this book
- Table of contents (11 chapters)
-
-
Sessions and Session Types: An Overview
Pages 1-28
-
Choreography Rehearsal
Pages 29-45
-
A Graph Syntax for Processes and Services
Pages 46-60
-
A Formalisation of Adaptable Pervasive Flows
Pages 61-75
-
Compliance Preorders for Web Services
Pages 76-91
-
Table of contents (11 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Web Services and Formal Methods
- Book Subtitle
- 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
- Editors
-
- Cosimo Laneve
- Jianwen Su
- Series Title
- Programming and Software Engineering
- Series Volume
- 6194
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-14458-5
- DOI
- 10.1007/978-3-642-14458-5
- Softcover ISBN
- 978-3-642-14457-8
- Edition Number
- 1
- Number of Pages
- VII, 197
- Number of Illustrations
- 60 b/w illustrations
- Topics
