Psi-calculi: Mobile Processes, Nominal Data, and Logic, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.39-48, 2009. ,
DOI : 10.1109/LICS.2009.20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4336
D-Fusion: A Distinctive Fusion Calculus, Proc. APLAS, pp.296-310, 2004. ,
DOI : 10.1007/978-3-540-30477-7_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6567
A General Name Binding Mechanism, Proc. TGC, pp.61-74, 2005. ,
DOI : 10.1007/11580850_5
Towards an algebraic theory of typed mobile processes, Theoretical Computer Science, vol.350, issue.2-3, pp.188-212, 2006. ,
DOI : 10.1016/j.tcs.2005.10.029
URL : https://hal.archives-ouvertes.fr/hal-00159674
The ?-calculus, APDC, pp.74-81, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00155354
Explicit Fusions, MFCS, volume 1893 of LNCS, pp.373-382, 2000. ,
DOI : 10.1007/3-540-44612-5_33
Name-passing calculi: From fusions to preorders and types, LICS, pp.378-387, 2013. ,
DOI : 10.1016/j.ic.2016.10.003
URL : https://hal.archives-ouvertes.fr/hal-00904138
Long version of this paper. Available from http ,
Solos in concert, Mathematical Structures in Computer Science, vol.13, issue.5, pp.657-683, 2003. ,
DOI : 10.1017/S0960129503004055
Proof System for Applied Pi Calculus, Proc. IFIP TCS, pp.229-243, 2010. ,
DOI : 10.1007/978-3-642-15240-5_17
URL : https://hal.archives-ouvertes.fr/hal-01054457
Algebraic Theories for Name-Passing Calculi, Information and Computation, vol.120, issue.2, pp.174-197, 1995. ,
DOI : 10.1006/inco.1995.1108
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7169
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
Typing and subtyping for mobile processes, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, pp.409-453, 1996. ,
DOI : 10.1109/LICS.1993.287570
URL : http://basics.sjtu.edu.cn/~yuehg/lics/1993 typing and subtyping for mobile processes.pdf
The Pi-Calculus: a theory of mobile processes, 2001. ,
Strong Bisimulation for the Explicit Fusion Calculus, Proc. of FoSSaCS, pp.484-498, 2004. ,
DOI : 10.1007/978-3-540-24727-2_34