Matthias Geiger, Andreas Schönberger, Guido Wirtz. A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations. In Daniel Eichhorn, Agnes Koschmider, Huayu Zhang, editors, 3rd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2011, Karlsruhe, Germany, February 21-22, 2011. Proceedings. Volume 705 of CEUR Workshop Proceedings, pages 24-25, CEUR-WS.org, 2011. [doi]
Abstract is missing.