1. An Abstract Machine for the Kell Calculus;Bidinger,2005
2. The Kell Calculus: Operational Semantics and Type System;Bidinger,2003
3. Fournet, C., “The Join-Calculus: a Calculus for Distributed Mobile Programming,” Ph.D. thesis, Ecole Polytechnique (1998)
4. JoCaml: A Language for Concurrent Distributed and Mobile Programming;Fournet,2002
5. An asynchronous, distributed implementation of mobile ambients.;Fournet,2000