Conformance Validation between Choreography and Orchestration.

Jing Li, Huibiao Zhu, Geguang Pu

Browse the full TASE paper archive.