L. Acciai and M. Boreale, Spatial and behavioural Types in the pi-calculus, Proc. of CON- CUR'08, pp.372-386, 2008.

L. Acciai and M. Boreale, A Type System for Client Progress in a Service-Oriented Calculus, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp.642-658, 2008.
DOI : 10.1007/978-3-540-68679-8_40

M. Boreale and M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery, LNCS, vol.49, issue.2-3, 2010.
DOI : 10.1016/0304-3975(87)90012-0

M. Boreale, R. Bruni, R. De-nicola, and M. Loreti, Sessions and Pipelines for Structured Service Programming, Proc. of FMOODS'08, pp.19-38, 2008.
DOI : 10.1007/978-3-540-68863-1_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.9844

M. Boreale, R. Bruni, L. Caires, R. De-nicola, I. Lanese et al., SCC: A Service Centered Calculus, Proc. of WS-FM'06, pp.38-57, 2006.
DOI : 10.1007/11841197_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9186

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

M. Bravetti and G. Zavattaro, A Theory for Strong Service Compliance, Proc. of Coordina- tion'07, pp.96-112, 2007.
DOI : 10.1007/978-3-540-72794-1_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2538

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

M. Bravetti and G. Zavattaro, Contract-Based Discovery and Composition of Web Services, Proc. of SFM'09, pp.261-295, 2009.
DOI : 10.1007/978-3-642-01918-0_7

S. Carpineti, G. Castagna, C. Laneve, and L. Padovani, A Formal Account of Contracts for Web Services, Proc. of WS-FM'06, pp.148-162, 2006.
DOI : 10.1007/11841197_10

G. Castagna, N. Gesbert, and L. Padovani, A Theory of Contracts for Web Services, Proc. of POPL'08, pp.261-272, 2008.

G. Castagna and L. Padovani, Contracts for Mobile Processes, Proc. of Concur'09, pp.211-228, 2009.
DOI : 10.1007/978-3-540-28644-8_32

D. Nicola, R. Hennessy, and M. , Testing equivalences for processes, Theoretical Computer Science, vol.34, issue.1-2, pp.83-133, 1984.
DOI : 10.1016/0304-3975(84)90113-0

J. Esparza, Petri nets, commutative context-free grammars, and basic parallel processes, Fundam. Inform, vol.31, issue.1, pp.13-25, 1997.
DOI : 10.1007/3-540-60249-6_54

J. Esparza and M. Nielsen, Decidability Issues for Petri Nets -a survey, Bulletin of the EATCS, vol.52, pp.244-262, 1994.

A. Finkel and P. Schnoebelen, Well-Structured Transition Systems Everywhere! Theor, Comput . Sci, vol.256, issue.12, pp.63-92, 2001.

A. Igarashi and N. Kobayashi, A generic type system for the Pi-calculus, Theoretical Computer Science, vol.311, issue.1-3, pp.121-163, 2004.
DOI : 10.1016/S0304-3975(03)00325-6

R. M. Karp and R. E. Miller, Parallel program schemata, Journal of Computer and System Sciences, vol.3, issue.2, pp.147-195, 1969.
DOI : 10.1016/S0022-0000(69)80011-5
URL : http://doi.org/10.1016/s0022-0000(69)80011-5

R. Milner, Communication and concurrency, 1989.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes. Information and Computation, pp.1-40, 1992.

M. L. Minsky, Computation: finite and infinite machines, 1967.

C. A. Petri, Kommunikation mit Automaten, 1962.

A. Rensink and W. Vogler, Fair testing, Information and Computation, vol.205, issue.2, pp.125-198, 2007.
DOI : 10.1016/j.ic.2006.06.002