Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto. From Theory to Practice in Transactional Composition of Web Services. In Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Volume 3670 of Lecture Notes in Computer Science, pages 272-286, Springer, 2005. [doi]
Abstract is missing.