| The Receptive Distributed
pi-Calculus
Roberto
Amadio (Université de Provence), Gérard Boudol (INRIA)
and Cédric Lousshaine (Université de Provence)
|
(.ps.gz)
|
|
| An Implementation of
Ambients in JoCaml
Cédric
Fournet (Microsoft Research) and Alan Schmitt (INRIA)
|
(.ps.gz) |
|
| Scalable Migration for
Mobile Agents
Martin
Geier and Franz J. Hauck (University of Erlangen-Nürnberg)
|
(.ps.gz)
|
|
| A History-Dependent
Access Control Mechanism Using Reflection
Massimo
Ancona (University of Genova), Walter Cazzola (University of
Milano) and Eduardo B. Fernandez (Florida Atlantic University)
|
(.ps.gz)
|
|
| Using Mobile Code for
Service Integration in Ubiquitous Computing
Kari
Kangas and Juha Röning (University of Oulu)
|
(.ps.gz)
|
|
| A Static Type System
for Detecting Potentially Transmissible Functions
Dilsun
Kirli (LFCS, Edinburgh)
|
(.ps.gz)
|
|
| DiTyCO: Implementing
Mobile Objects in the Realm of Process Calculi
Luís
Lopes, Fernando Silva, Álvaro Figueira (Universidade do Porto)
and Vasco T. Vasconcelos (Universidade de Lisboa)
|
(.ps.gz) |
|
| Introducing the French
RNRT MARVEL project
Marc
Lacoste (France Telecom)
|
(.ps.gz)
|
|
| Towards Dynamic and
Extensible Mobility
Earl
Barr and Raju Pandey (UC Davis)
|
(.ps.gz)
|
|
| Hierarchically Structured
Mobile Agents and their Migration
Ichiro
Satoh (Ochanomizu University)
|
(.pdf) |