Congruence proofs for weak bisimulation equivalences on higher?order process calculi, 1995. ,
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
The reflexive cham and the joincalculus, POPL '96, pp.372-385, 1996. ,
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
Extending howe's method to early bisimulations for typed mobile embedded resources with local names, FSTTCS '05, pp.140-151, 2005. ,
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
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
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
Bisimulations dans les calculs avec passivation, 2010. ,
URL : https://hal.archives-ouvertes.fr/tel-00447857
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
Sound Bisimulations for Higher-Order Distributed Process Calculus, FOSSACS '11, pp.123-137, 2011. ,
DOI : 10.1007/978-3-642-19805-2_9
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
Bisimulation for higher-order process calculi. Information and Computation, pp.141-178, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00074170
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
The Pi-Calculus: A Theory of Mobile Processes, 2001. ,
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing 2004 workshop, 2004. ,
DOI : 10.1007/3-540-45694-5_19
Plain CHOCS A second generation calculus for higher order processes, Acta Informatica, vol.5, issue.2, pp.1-59, 1993. ,
DOI : 10.1007/BF01200262