Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer. Model-Based Analysis of Obligations in Web Service Choreography. In Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean. pages 149, IEEE Computer Society, 2006. [doi]
Abstract is missing.