1. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software 1(6), 219–232 (2007)
2. Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: ICSOC 2005, pp. 269–282. ACM Press, New York (2005)
3. Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. Journal of the ACM 28(1), 114–133 (1981)
4. Colombetti, M.: A Commitment–Based Approach to Agent Speech Acts and Conversations. In: Agents 2000, Barcelona, Spain, pp. 21–29 (2000)
5. Lecture Notes in Computer Science;S. Cranefield,2007