1. Abouzaid, F., Mullins, J.: Model-checking Web Services Orchestrations using BP-calculus. Electronic Notes in Theoretical Computer Science 255, 3–21 (2009)
2. Basciutti, T.: Model-Checking Web Services. Master’s thesis, Department of Computer Science, University Ca’ Foscari of Venice (2010)
3. Bernardi, G., Bugliesi, M., Macedonio, D., Rossi, S.: A Theory of Adaptable Contract-Based Service Composition. In: Proc. of International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Workshop on Global Computing Models and Technologies (GlobalComp 2008), pp. 327–334. IEEE Computer Society, Los Alamitos (2008)
4. Lecture Notes in Computer Science;M. Bravetti,2009
5. Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451–478 (2009)