Compatibility Verification for Web Service Choreography (2004)

by H Foster, S Uchitel, J Magee, J Kramer
Venue:Proceedings of the ICWS IEEE