1. Web services orchestration and choreography;Peltz;IEEE Comput.,2003
2. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, C. Barreto, Web services choreography description language version 1.0, World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109, November 2005.
3. Automata for analysing service contracts;Basile,2014
4. On communicating finite-state machines;Brand;J. ACM,1983
5. On the realizability of contracts in dishonest systems;Bartoletti,2012