Mario Bravetti, Gianluigi Zavattaro. Contract-Based Discovery and Composition of Web Services. In Marco Bernardo, Luca Padovani, Gianluigi Zavattaro, editors, 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. Volume 5569 of Lecture Notes in Computer Science, pages 261-295, Springer, 2009. [doi]
Abstract is missing.