1. Cardelli, L.: Mobile Ambient Synchronization. Technical Report 1997-013, Digital Systems Research (1997)
2. Lecture Notes in Computer Science;L. Cardelli,1998
3. Fournet, C.: The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique (1998)
4. Lecture Notes in Computer Science;C. Fournet,2000
5. GcPan webpage,
http://perso.ens-lyon.fr/damien.pous/gcpan