Search
Now showing items 1-3 of 3
Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
(Springer-Verlag, 1999)
Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
(Springer-Verlag, 1999)