Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.

Gregorio Daz, Ismael Rodrguez

Browse the full FORTE paper archive.