"Reasoning About Interaction Protocols for Web Service Composition."

Matteo Baldoni et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics