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

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