Browsing Administrative Staff Authors by Sponsor "National Science Foundation (NSF)"
Now showing items 1-1 of 1
-
Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
(Springer-Verlag, 1999)We study type-safety properties of open distributed systems of mobile agents, where not all sites are known to be well-typed. We adopt the underlying model of an anonymous network, allowing that code may be corrupted on ...