C. Palamidessi, Comparing the expressive power of the synchronous and asynchronous $pi$ -calculi, Mathematical Structures in Computer Science, vol.13, issue.5, pp.685-719, 2003.
DOI : 10.1017/S0960129503004043
URL : https://hal.archives-ouvertes.fr/inria-00201104

U. Nestmann, What is a "good" encoding of guarded choice? Inf, Comput, vol.156, issue.12, 2000.

D. Cacciagrano, F. Corradini, and C. Palamidessi, Separation of synchronous and asynchronous communication via testing, Theoretical Computer Science, vol.386, issue.3, pp.218-235, 2007.
DOI : 10.1016/j.tcs.2007.07.009
URL : https://hal.archives-ouvertes.fr/inria-00201107

G. Boudol, Asynchrony and the ?-calculus (note), 1992.

K. Honda and M. Tokoro, An object calculus for asynchronous communication, Proc. of ECOOP, pp.133-147, 1991.
DOI : 10.1007/BFb0057019

R. Milner, The Polyadic pi-Calculus: A Tutorial, 1991.

P. Quaglia and D. Walker, Types and full abstraction for polyadic ??-calculus, Information and Computation, vol.200, issue.2, pp.215-246, 2005.
DOI : 10.1016/j.ic.2005.03.004

N. Yoshida, Graph types for monadic mobile processes, Proc. of FSTTCS, pp.371-386, 1996.
DOI : 10.1007/3-540-62034-6_64

D. Sangiorgi, ??-Calculus, internal mobility, and agent-passing calculi, Theoretical Computer Science, vol.167, issue.1-2, pp.235-274, 1996.
DOI : 10.1016/0304-3975(96)00075-8
URL : http://doi.org/10.1016/0304-3975(96)00075-8

D. Gorla, Towards a Unified Approach to Encodability and Separation Results for Process Calculi, Proc. of CONCUR, pp.492-507, 2008.
DOI : 10.1007/978-3-540-85361-9_38

J. A. Pérez, Higher-Order Concurrency: Expressiveness and Decidability Results, 2010.

I. Lanese, J. A. Pérez, D. Sangiorgi, and A. Schmitt, On the expressiveness and decidability of higher-order process calculi, Proc. of LICS'08, pp.145-155, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00494584

D. Giusto, C. Pérez, J. A. Zavattaro, and G. , On the Expressiveness of Forwarding in Higher-Order Communication, Proc. of ICTAC, pp.155-169, 2009.
DOI : 10.1007/978-3-642-03466-4_10

D. Sangiorgi, Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms, Dept. of Comp. Sci, 1992.

I. Lanese, Concurrent and Located Synchronizations in ??-Calculus, Proc. of SOFSEM, pp.388-399, 2007.
DOI : 10.1007/978-3-540-69507-3_33

R. M. Amadio, On the reduction of chocs bisimulation to ??-calculus bisimulation, Proc. of CONCUR, pp.112-126, 1993.
DOI : 10.1007/3-540-57208-2_9
URL : https://hal.archives-ouvertes.fr/inria-00077026