SFM 2009: Bertinoro, Italy
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (Eds.): Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-01917-3- Roberto Bruni: Calculi for Service-Oriented Computing. 1-41
- Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. 42-88
- Vasco Thudichum Vasconcelos: Fundamentals of Session Types. 158-186
- Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. 187-212
- Luca Padovani: Contract-Based Discovery and Adaptation of Web Services. 213-260
- Mario Bravetti, Gianluigi Zavattaro: Contract-Based Discovery and Composition of Web Services. 261-295
- Allan Clark, Stephen Gilmore, Mirco Tribastone: Quantitative Analysis of Web Services Using SRMC. 296-339
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team