S. Arun-kumar and M. Hennessy, An efficiency preorder for processes, Acta Informatica, vol.25, issue.1, pp.737-760, 1992.
DOI : 10.1007/BF01191894

H. P. Barendregt, The Lambda Calculus: Syntax, semantics, 1984.

M. Berger, K. Honda, and N. Yoshida, Sequentiality and the pi-calculus, Proc. TLCA'01, pp.29-45, 2001.

M. Berger, K. Honda, and N. Yoshida, Genericity and the ??-calculus, Acta Informatica, vol.10, issue.3, pp.83-141, 2005.
DOI : 10.1007/s00236-005-0175-1

R. Demangeon and K. Honda, Full Abstraction in a Subtyped pi-Calculus with Linear Types, Proc. CONCUR'11, pp.280-296, 2011.
DOI : 10.1016/j.ic.2003.08.004

M. Dezani-ciancaglini and E. Giovannetti, From B??hm's Theorem to Observational Equivalences, Electronic Notes in Theoretical Computer Science, vol.50, issue.2, pp.83-116, 2001.
DOI : 10.1016/S1571-0661(04)00167-7

D. Hirschkoff, J. M. Madiot, and D. Sangiorgi, Duality and i/o-Types in the ??-Calculus, Proc. CONCUR'12, pp.302-316, 2012.
DOI : 10.1007/978-3-642-32940-1_22
URL : https://hal.archives-ouvertes.fr/hal-00798028

R. Milner, Functions as processes, Mathematical Structures in Computer Science, vol.4, issue.02, pp.119-141, 1990.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075405

R. Milner, Communicating and Mobile Systems: the ?-Calculus, CUP, 1999.

G. D. Plotkin, T?? as a Universal Domain, Journal of Computer and System Sciences, vol.17, issue.2, pp.209-236, 1978.
DOI : 10.1016/0022-0000(78)90006-5

D. Sangiorgi, Lazy functions and mobile processes In: Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, CUP, 2001.

D. Scott, Data Types as Lattices, SIAM Journal on Computing, vol.5, issue.3, pp.522-587, 1976.
DOI : 10.1137/0205037

N. Yoshida, K. Honda, and M. Berger, Linearity and bisimulation, The Journal of Logic and Algebraic Programming, vol.72, issue.2, pp.207-238, 2007.
DOI : 10.1016/j.jlap.2007.02.011
URL : http://doi.org/10.1016/j.jlap.2007.02.011