1. Localities and failures;Amadio,1994
2. Modelling IP Mobility;Amadio,1997
3. An asynchronous model of locality, failure, and process mobility;Amadio,1997
4. The chemical abstract machine;Berry,1990
5. The receptive distributed pi-calculus;Boudol,1990