The Kell Calculus: Operational Semantics and Type System, Proc. of FMOODS 2003, vol.2884, pp.109-123, 2003. ,
Boxed ambients, Proc. TACS 2001, vol.2215, pp.38-63, 2001. ,
DOI : 10.1007/3-540-45500-0_2
URL : https://hal.archives-ouvertes.fr/hal-00152525
, , 1997.
Mobile ambient synchronisation, Digital SRC, 1997. ,
Mobile Ambients, Proc. of FOSSACS'98, vol.1378, pp.140-155, 1998. ,
An Implementation for Complete, Asynchronous, Distributed Garbage Collection, Proc. of PLDI'98, pp.152-161, 1998. ,
The Join-Calculus: a Calculus for Distributed Mobile Programming, 1998. ,
JoCaml: A Language for Concurrent Distributed and Mobile Programming, Proc. of Advanced Functional Programming, vol.2638, pp.129-158, 2002. ,
An asynchronous, distributed implementation of mobile ambients, Proc. of IFIP TCS'00, vol.1872, pp.348-364, 2000. ,
Linear Forwarders, Proc. of CONCUR'03, vol.2761, pp.408-422, 2003. ,
Safe Ambients: abstract machine and distributed implementation, 2004. submitted; an extended abstract appeared in, Proc. ICALP'01, vol.2076, pp.408-420 ,
JoCaml: conception et implémentation d'un langagè a agents mobiles, 2001. ,
Controlling interference in ambients, Proc. 27th POPL, 2000. ,
Mobile Safe Ambients, Transactions on Programming Languages and Systems, vol.25, issue.1, pp.1-69, 2003. ,
Bisimulation congruences in safe ambients (extended abstract), Proc. of POPL '02, pp.71-80, 2002. ,
KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE Trans. Software Eng, vol.24, issue.5, pp.315-330, 1998. ,
A Distributed Abstract Machine for Boxed Ambient Calculi, Proc. of ESOP'04, pp.155-170, 2004. ,
On Reduction Semantics for the Push and Pull Ambient Calculus, Proc. of IFIP TCS'02, pp.550-562, 2002. ,
The OCaml programming language ,
A distributed abstract machine for Safe Ambients, Proc. ICALP'01, vol.2076, 2001. ,
Efficiency of a good but not linear set union algorithm, Journal of ACM, vol.22, issue.2, pp.215-225, 1975. ,
Using Ambients to Control Resources, Proc. of CON-CUR'02, vol.2421, pp.288-303, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-02101869
Nomadic pict: correct communication infrastructure for mobile computation, Proc. of 28th POPL, pp.116-127, 2001. ,