M. Abadi and A. Gordon, A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, pp.1-70, 1999.
DOI : 10.1145/266420.266432

S. Abramsky, The lazy lambda calculus, Research Topics in Functional Programming, pp.65-116, 1990.

H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, 1985.

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011.
DOI : 10.2168/LMCS-7(1:11)2011

G. Berry and G. Boudol, The chemical abstract machine, POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.81-94, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

N. Busi, R. Gorrieri, and G. Zavattaro, On the Expressiveness of Linda Coordination Primitives, Information and Computation, vol.156, issue.1-2, pp.90-121, 2000.
DOI : 10.1006/inco.1999.2823

L. Cardelli and A. D. Gordon, Mobile ambients, Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98, 1998.
DOI : 10.1016/s0304-3975(99)00231-5

URL : http://doi.org/10.1016/s0304-3975(99)00231-5

H. B. Curry and R. Feys, Combinatory Logic, volume I. North-Holland, 1958.

R. De-nicola, D. Gorla, and R. Pugliese, On the expressive power of KLAIM-based calculi, Theoretical Computer Science, vol.356, issue.3, pp.387-421, 2006.
DOI : 10.1016/j.tcs.2006.02.007

M. Felleisen, On the expressive power of programming languages, Science of Computer Programming, vol.17, issue.1-3, pp.35-75, 1991.
DOI : 10.1016/0167-6423(91)90036-W

T. Given-wilson, Concurrent Pattern Unification, 2012.

T. Given-wilson and D. Gorla, Pattern Matching and Bisimulation, Proc. of COORDINA- TION, pp.60-74, 2013.
DOI : 10.1007/978-3-642-38493-6_5

URL : https://hal.archives-ouvertes.fr/hal-01486035

T. Given-wilson, D. Gorla, and B. Jay, Concurrent pattern calculus, Proc. of IFIP-TCS, volume 323 of IFIP Advances in Information and Communication Technology, pp.244-258, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01054456

T. Given-wilson, D. Gorla, and B. Jay, A concurrent pattern calculus, To appear in Logical Methods in Computer Science, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00987578

D. Gorla, Comparing communication primitives via their relative expressive power, Information and Computation, vol.206, issue.8, pp.931-952, 2008.
DOI : 10.1016/j.ic.2008.05.001

D. Gorla, A taxonomy of process calculi for distribution and mobility, Distributed Computing, pp.273-299, 2010.
DOI : 10.1007/s00446-010-0120-6

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Information and Computation, vol.208, issue.9, pp.1031-1053, 2010.
DOI : 10.1016/j.ic.2010.05.002

B. Jay, The pattern calculus, ACM Transactions on Programming Languages and Systems, vol.26, issue.6, 2009.
DOI : 10.1145/1034774.1034775

B. Jay and T. Given-wilson, Abstract, The Journal of Symbolic Logic, vol.2, issue.03, pp.807-826, 2011.
DOI : 10.1145/321738.321750

B. Jay and D. Kesner, First-class patterns, Journal of Functional Programming, vol.9, issue.02, pp.191-225, 2009.
DOI : 10.1016/j.tcs.2008.01.019

URL : https://hal.archives-ouvertes.fr/hal-00524750

I. Lanese, J. A. Pérez, D. Sangiorgi, and A. Schmitt, On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, Proc. of ICALP, pp.442-453, 2010.
DOI : 10.1007/978-3-642-14162-1_37

URL : https://hal.archives-ouvertes.fr/inria-00514912

I. Lanese, C. Vaz, and C. Ferreira, On the Expressive Power of Primitives for Compensation Handling, Proc. of ESOP, pp.366-386, 2010.
DOI : 10.1007/978-3-642-11957-6_20

R. Milner, Functions as processes, Proceedings of the seventeenth international colloquium on Automata, languages and programming, pp.167-180, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075405

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

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992.
DOI : 10.1016/0890-5401(92)90008-4

L. Nielsen, N. Yoshida, and K. Honda, Multiparty Symmetric Sum Types, EXPRESS, pp.121-135, 2010.
DOI : 10.4204/EPTCS.41.9

URL : http://doi.org/10.4204/eptcs.41.9

C. Palamidessi, Comparing the expressive power of the synchronous and the asynchronous pi-calculus. CoRR, cs, 1998.

J. Parrow and B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.176-185, 1998.
DOI : 10.1109/LICS.1998.705654

G. Plotkin, Full abstraction, totality and PCF, Mathematical Structures in Computer Science, vol.9, issue.1, 1997.
DOI : 10.1017/S0960129598002692

R. J. Van-glabbeek, Musings on Encodings and Expressiveness, Proc. of EXPRESS/SOS, pp.81-98, 2012.
DOI : 10.4204/EPTCS.89.7