Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach | Publicación