An efficiency preorder for processes, Acta Informatica, vol.25, issue.1, pp.737-760, 1992. ,
DOI : 10.1007/BF01191894
Conformance: A Precongruence close to Bisimilarity, Proc. Struct. in Concurrency Theory, 1995. ,
DOI : 10.1007/978-1-4471-3078-9_4
Introduction to Lattices and Order, 1990. ,
DOI : 10.1017/CBO9780511809088
A calculational approach to mathematical induction, Theoretical Computer Science, vol.179, issue.1-2, pp.103-135, 1997. ,
DOI : 10.1016/S0304-3975(96)00154-5
The Join-Calculus: a Calculus for Distributed Mobile Programming, 1998. ,
An Asynchronous, Distributed Implementation of Mobile Ambients, Proc. IFIP TCS'00, pp.348-364, 2000. ,
DOI : 10.1007/3-540-44929-9_26
A hierarchy of equivalences for asynchronous calculi, The Journal of Logic and Algebraic Programming, vol.63, issue.1, pp.131-173, 2005. ,
DOI : 10.1016/j.jlap.2004.01.006
Typed behavioural equivalences for processes in the presence of subtyping, Mathematical Structures in Computer Science, vol.14, issue.5, pp.651-684, 2004. ,
DOI : 10.1017/S0960129504004281
On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995. ,
DOI : 10.1016/0304-3975(95)00074-7
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
Relational Reasoning about Contexts, Higher Order Operational Techniques in Semantics, 1998. ,
DOI : 10.7146/brics.v4i24.18950
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.5332
Communication and Concurrency, 1989. ,
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines, Proc. TGC '06, 2006. ,
DOI : 10.1007/978-3-540-75336-0_10
URL : https://hal.archives-ouvertes.fr/hal-01441457
Weak Bisimulation Up to Elaboration, Proc. CONCUR '06, pp.390-405, 2006. ,
DOI : 10.1007/11817949_26
URL : https://hal.archives-ouvertes.fr/hal-01441462
Complete Lattices and Up-To Techniques, Proc. APLAS '07, pp.351-366, 2007. ,
DOI : 10.1007/978-3-540-76637-7_24
URL : https://hal.archives-ouvertes.fr/ensl-00155308
New up-to techniques for weak bisimulation, Proc. ICALP '05, 2007. ,
DOI : 10.1016/j.tcs.2007.02.060
URL : https://hal.archives-ouvertes.fr/hal-01442745
On the bisimulation proof method, Mathematical Structures in Computer Science, vol.8, issue.5, pp.447-479, 1998. ,
DOI : 10.1017/S0960129598002527
Environmental bisimulations for higherorder languages, Proc. LICS '07, pp.293-302, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01337665
The problem of ???weak bisimulation up to???, Proc. 3rd CONCUR, pp.32-46, 1992. ,
DOI : 10.1007/BFb0084781
The ?-calculus: a Theory of Mobile Processes, 2001. ,
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285