Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers: 6194 (Programming and Software Engineering)

ISBN 10: 3642144578 / ISBN 13: 9783642144578

Published by Springer, 2010

About this Item

pp. vii + 197 1st edition.

Seller Inventory # 263060839

Bibliographic Details

• Title: Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers: 6194 (Programming and Software Engineering)
• Publisher: Springer
• Publication Date: 2010
• Language: English
• ISBN 10: 3642144578
• ISBN 13: 9783642144578
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4–5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani’s talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop.