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 join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996. ,
DOI : 10.1145/237721.237805
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
Howe's method for contextual semantics, 2015. ,
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