Compatibility Verification for Web Service Choreography.

Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer

Browse the full ICWS paper archive.