X.: Towards a theory of web service choreographies (2008)

by J Su, T Bultan, X Fu, Zhao
Venue:In: Proceedings of the 4th international conference on Web services and formal methods