1. M. Abadi, A.D. Gordon, A calculus for cryptographic protocols: the Spi calculus, Proc. 4th ACM Conf. on Computer and Communications Security, Zürich, April 1997, 1997.
2. S. Adams, D. DeRoure, A simulator for an amorphous computer, Proc. 12th European Simulation Multiconf. (ESM’98), Manchester, UK, June 1998.
3. A. Baggio, I. Piumarta, Mobile host tracking and resource discovery, 7th ACM SIGOPS European Workshop, Connemara, Ireland, September 1996. http://www-sor.inria.fr/publi/MHTRD_sigops96.html.
4. B. Barras, S. Boutin, C. Cornes, J. Courant, J.C. Filliatre, E. Giménez, H. Herbelin, G. Huet, C. Munoz, C. Murthy, C. Parent, C. Paulin, A. Saı̈bi, B. Werner, The Coq Proof Assistant Reference Manual – Version V6.1, Tech. Rep. 0203, INRIA, August 1997.
5. Migratory applications;Bharat,1997