A. Artikis, M. J. Sergot, and J. V. Pitt, Specifying norm-governed computational societies, ACM Transactions on Computational Logic, vol.10, issue.1, 2009.
DOI : 10.1145/1459010.1459011
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6368

M. Bartoletti, E. Tuosto, and R. Zunino, Contracts in distributed systems, Electronic Proceedings in Theoretical Computer Science, vol.59, 2011.
DOI : 10.4204/EPTCS.59.11
URL : http://arxiv.org/abs/1108.0471

M. Bartoletti, E. Tuosto, and R. Zunino, On the Realizability of Contracts in Dishonest Systems, 1201.
DOI : 10.1007/978-3-642-30829-1_17

M. Bartoletti and R. Zunino, A Calculus of Contracting Processes, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010.
DOI : 10.1109/LICS.2010.25

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR, 2010.
DOI : 10.1007/978-3-642-15375-4_12

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Software Composition, 2007.
DOI : 10.1007/978-3-540-77351-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3730

M. Buscemi, M. Coppo, M. Dezani-ciancaglini, and U. Montanari, Constraints for Service Contracts, TGC, 2011.
DOI : 10.1007/978-3-642-30065-3_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.7407

M. G. Buscemi and U. Montanari, CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, ESOP, 2007.
DOI : 10.1007/978-3-540-71316-6_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.1548

S. Carpineti and C. Laneve, A Basic Contract Language for Web Services, ESOP, 2006.
DOI : 10.1145/357766.351242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.6591

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, ACM Transactions on Programming Languages and Systems, issue.5, p.31, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00152547

M. Dam, On the decidability of process equivalences for the ??-calculus, Theoretical Computer Science, vol.183, issue.2, pp.215-228, 1997.
DOI : 10.1016/S0304-3975(96)00325-8

P. Degano and C. Priami, Enhanced operational semantics, ACM Computing Surveys, vol.28, issue.2, pp.135-176, 2001.
DOI : 10.1145/234528.234748
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.6845

E. A. Emerson, Temporal and modal logic In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, 2008.
DOI : 10.1145/2827695
URL : http://doi.org/10.1145/2827695

C. Prisacariu and G. Schneider, A Formal Language for Electronic Contracts, FMOODS, 2007.
DOI : 10.1111/1467-9337.00106
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.7108