A Formal Approach for the Validation of Web Service Orchestrations

Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem. A Formal Approach for the Validation of Web Service Orchestrations. IJWP, 5(1):41-54, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: