An Efficiency Preorder for Processes, Acta Informatica, vol.29, issue.9, 1992. ,
The Kell Calculus: Operational Semantics and Type System, Proc. of FMOODS '03, 2003. ,
DOI : 10.1007/3-540-47959-7_3
Boxed Ambients, Proc. TACS '01, 2001. ,
DOI : 10.1007/3-540-45500-0_2
URL : https://hal.archives-ouvertes.fr/hal-00152525
Mobile Ambients, Proc. FOSSACS '98, 1998. ,
DOI : 10.1016/s1571-0661(05)80699-1
URL : http://doi.org/10.1016/s1571-0661(05)80699-1
The Seal Calculus Revisited, Proc. of FSTTCS '02, 2002. ,
Proof Methodologies for Behavioural Equivalence in Dpi, Proc. FORTE '05, 2005. ,
DOI : 10.1007/978-3-540-24727-2_18
The Join-Calculus: a Calculus for Distributed Mobile Programming, 1998. ,
JoCaml: A Language for Concurrent Distributed and Mobile Programming, Proc. of Advanced Functional Programming, 2002. ,
DOI : 10.1007/978-3-540-44833-4_5
The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, 1996. ,
DOI : 10.1145/237721.237805
The Join Calculus: A Language for Distributed Mobile Programming, Proc. APPSEM, 2000. ,
DOI : 10.1007/3-540-45699-6_6
An Asynchronous, Distributed Implementation of Mobile Ambients, Proc. IFIP TCS'00, 2000. ,
DOI : 10.1007/3-540-44929-9_26
The Fusion Machine, Proc. CONCUR '02, 2002. ,
DOI : 10.1007/3-540-45694-5_28
Confluence for process verification, Theoretical Computer Science, vol.170, issue.12, 1996. ,
A Distributed Pi-Calculus, 2007. ,
DOI : 10.1017/CBO9780511611063
A Correct Abstract Machine for Safe Ambients, Proc. COORD '05, 2005. ,
DOI : 10.1145/321879.321884
URL : https://hal.archives-ouvertes.fr/hal-01441466
Adding recursion to Dpi, Theoretical Computer Science, vol.373, issue.3, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00140654
A theory of bisimulation for a fragment of Concurrent ML with local names, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp.1-3, 2004. ,
DOI : 10.1109/LICS.2000.855780
JoCaml: conception et implémentation d'un langagè a agents mobiles, 2001. ,
Mobile safe ambients, ACM Transactions on Programming Languages and Systems, vol.25, issue.1, 2003. ,
DOI : 10.1145/596980.596981
Bisimulation Proof Methods for Mobile Ambients, Proc. 30th ICALP, 2003. ,
DOI : 10.1007/3-540-45061-0_47
Communication and Concurrency, 1989. ,
KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, 1998. ,
DOI : 10.1109/32.685256
A Distributed Abstract Machine for Boxed Ambient Calculi, ESOP '04, 2004. ,
DOI : 10.1007/978-3-540-24725-8_12
Up-to Techniques for Weak Bisimulation, Proc. 32nd ICALP, 2005. ,
DOI : 10.1007/11523468_59
URL : https://hal.archives-ouvertes.fr/hal-01441463
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
CML: A higher-order concurrent language, Proc. PLDI. ACM, 1991. ,
On the Bisimulation Proof Method, Journal of Mathematical Structures in Computer Science, vol.8, 1998. ,
The problem of ???weak bisimulation up to???, Proc. 3rd CONCUR, 1992. ,
DOI : 10.1007/BFb0084781
A Distributed Abstract Machine for Safe Ambients, Proc. 28th ICALP, 2001. ,
DOI : 10.1007/3-540-48224-5_34
The ?-calculus: a Theory of Mobile Processes, 2001. ,
Robust, distributed references and acyclic garbage collection, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing , PODC '92, 1992. ,
DOI : 10.1145/135419.135448
URL : https://hal.archives-ouvertes.fr/hal-01248225
Efficiency of a Good But Not Linear Set Union Algorithm, Journal of the ACM, vol.22, issue.2, 1975. ,
DOI : 10.1145/321879.321884
Nomadic pict: Correct Communication Infrastructure for Mobile Computation, Proc. 28th POPL, 2001. ,
Confluence by Decreasing Diagrams, Theoretical Computer Science, vol.126, issue.2, 1994. ,