M. Boreale and M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery. Rigorous Software Engineering for Service-Oriented Systems, LNCS, vol.6582, pp.282-301, 2011.

M. Bravetti, M. Carbone, T. Hildebrandt, I. Lanese, J. Mauro et al., Towards Global and Local Types for Adaptation, Proc. of 2nd International Workshop on Behavioural Types ? SEFM'13 Collocated Workshops, pp.1-12, 2013.
DOI : 10.1007/978-3-319-05032-4_1
URL : https://hal.archives-ouvertes.fr/hal-01089358

M. Bravetti, C. Guidi, R. Lucchi, and G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, Proceedings of the 2005 ACM symposium on Applied computing , SAC '05, pp.831-835, 2005.
DOI : 10.1145/1066677.1066867
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.7094

M. Bravetti, I. Lanese, and G. Zavattaro, Contract-Driven Implementation of Choreographies, Proc. TGC 2008, pp.1-18, 2009.
DOI : 10.1016/j.ic.2006.06.002

M. Bravetti and G. Zavattaro, Contract Based Multi-party Service Composition, Proc. FSEN'07, pp.207-222, 2007.
DOI : 10.1007/978-3-540-75698-9_14

M. Bravetti and G. Zavattaro, A Theory for Strong Service Compliance, Proc. Coordination'07, pp.96-112, 2007.
DOI : 10.1007/978-3-540-72794-1_6

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proc. SC'07, pp.34-50, 2007.
DOI : 10.1007/978-3-540-77351-1_4

M. Bravetti and G. Zavattaro, Contract Compliance and Choreography Conformance in the Presence of Message Queues, Proc. WS-FM'08, 2008.
DOI : 10.1007/3-540-45657-0_13

M. Bravetti and G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, Fundamenta Informaticae, vol.89, issue.4, pp.451-478, 2008.

M. Bravetti and G. Zavattaro, Contract-Based Discovery and Composition of Web Services, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM-09:WS), pp.34-50, 2009.

M. Bravetti and G. Zavattaro, A theory of contracts for strong service compliance, Mathematical Structures in Computer Science, vol.1872, issue.03, pp.601-63810, 2009.
DOI : 10.1016/j.ic.2006.06.002

M. Bravetti and G. Zavattaro, Service Discovery and Composition based on Contracts and Choreographic Descriptions Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, pp.978-979, 2012.

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, ESOP'07, 2007.
DOI : 10.1007/978-3-540-71316-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.902

S. Carpineti, G. Castagna, C. Laneve, and L. Padovani, A Formal Account of Contracts for Web Services, WS-FM'06, pp.148-16210, 2006.
DOI : 10.1007/11841197_10
URL : https://hal.archives-ouvertes.fr/hal-00152568

D. Preda, M. Giallorenzo, S. Lanese, I. Mauro, J. Gabbrielli et al., AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications, Proc. SLE 2014, pp.161-170, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089187

D. Nicola, R. Hennessy, and M. , Testing Equivalences for Processes, Theoretical Computer Science, vol.3484, pp.83-13310, 1984.

C. Fournet, C. A. Hoare, S. K. Rajamani, and J. Rehof, Stuck-Free Conformance, Proc. CAV'04, pp.242-254, 2004.
DOI : 10.1007/978-3-540-27813-9_19

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-33211, 2008.
DOI : 10.1109/SEFM.2008.11