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

A. L. Brown, C. Laneve, and L. G. Meredith, PiDuce: A Process Calculus with Native XML Datatypes, Proc. of EPEW05/WS-FM05, pp.18-34, 2005.
DOI : 10.1007/11549970_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.7990

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

T. Given-wilson, D. Gorla, and B. Jay, Concurrent pattern calculus (long version), 2010.
DOI : 10.1007/978-3-642-15240-5_18
URL : http://arxiv.org/abs/1405.1546

A. Gordon and M. Abadi, A calculus for cryptographic protocols: The spi calculus, 4th ACM Conference on Computer and Communications Security, pp.36-47, 1997.

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
URL : http://doi.org/10.1016/j.ic.2008.05.001

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Proc. of 19th International Conference on Concurrency Theory (CONCUR'08), number 5201 in LNCS, pp.492-507, 2008.
DOI : 10.1016/j.ic.2010.05.002
URL : http://doi.org/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, 2010.
DOI : 10.1145/321738.321750

B. Jay and D. Kesner, First-class patterns, Journal of Functional Programming, vol.9, issue.02, p.34, 2009.
DOI : 10.1016/j.tcs.2008.01.019
URL : https://hal.archives-ouvertes.fr/hal-00524750

R. Milner, The Polyadic ??-Calculus: a Tutorial, Logic and Algebra of Specification, volume 94 of Series F. NATO ASI, 1993.
DOI : 10.1007/978-3-642-58041-3_6

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

R. D. Nicola, G. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

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. Picco, A. Murphy, and G. Roman, LIME, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.368-377, 1999.
DOI : 10.1145/302405.302659

L. Wischik and P. Gardner, Explicit fusions, Theoretical Computer Science, vol.340, issue.3, pp.606-630, 2005.
DOI : 10.1016/j.tcs.2005.03.017