Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer. Compatibility Verification for Web Service Choreography. In Proceedings of the IEEE International Conference on Web Services (ICWS 04), June 6-9, 2004, San Diego, California, USA. pages 738-741, IEEE Computer Society, 2004. [doi]
Abstract is missing.