M. Baldamus and T. Frauenstein, Congruence proofs for weak bisimulation equivalences on higher?order process calculi, 1995.

G. Castagna, J. Vitek, and F. Z. Nardelli, The Seal Calculus, Information and Computation, vol.201, issue.1, pp.1-54, 2005.
DOI : 10.1016/j.ic.2004.11.005

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

C. Fournet and G. Gonthier, The reflexive cham and the joincalculus, POPL '96, pp.372-385, 1996.

C. Fournet and C. Laneve, Bisimulations in the join-calculus, Theoretical Computer Science, vol.266, issue.1-2, pp.569-603, 2001.
DOI : 10.1016/S0304-3975(00)00283-8

C. Jens, T. Godskesen, and . Hildebrandt, Extending howe's method to early bisimulations for typed mobile embedded resources with local names, FSTTCS '05, pp.140-151, 2005.

A. D. Gordon, Bisimilarity as a Theory of Functional Programming, Electronic Notes in Theoretical Computer Science, vol.1, pp.232-252, 1995.
DOI : 10.1016/S1571-0661(04)80013-6

D. J. Howe, Proving Congruence of Bisimulation in Functional Programming Languages, Information and Computation, vol.124, issue.2, pp.103-112, 1996.
DOI : 10.1006/inco.1996.0008

V. Koutavas and M. Hennessy, Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation, CONCUR '13, pp.167-181, 2013.
DOI : 10.1007/978-3-642-40184-8_13

S. Lenglet, Bisimulations dans les calculs avec passivation, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00447857

S. Lenglet, A. Schmitt, and J. Stefani, Characterizing contextual equivalence in calculi with passivation, Information and Computation, vol.209, issue.11, pp.1390-1433, 2011.
DOI : 10.1016/j.ic.2011.08.002

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

A. Piérard and E. Sumii, Sound Bisimulations for Higher-Order Distributed Process Calculus, FOSSACS '11, pp.123-137, 2011.
DOI : 10.1007/978-3-642-19805-2_9

A. Piérard and E. Sumii, A Higher-Order Distributed Calculus with Name Creation, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.531-540, 2012.
DOI : 10.1109/LICS.2012.63

D. Sangiorgi, Bisimulation for higher-order process calculi. Information and Computation, pp.141-178, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00074170

D. Sangiorgi, N. Kobayashi, and E. Sumii, Environmental bisimulations for higher-order languages, ACM Transactions on Programming Languages and Systems, vol.33, issue.1, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01337665

D. Sangiorgi and D. Walker, The Pi-Calculus: A Theory of Mobile Processes, 2001.

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing 2004 workshop, 2004.
DOI : 10.1007/3-540-45694-5_19

B. Thomsen, Plain CHOCS A second generation calculus for higher order processes, Acta Informatica, vol.5, issue.2, pp.1-59, 1993.
DOI : 10.1007/BF01200262