new technical research report
The following technical report is now available at
under Computer Science Technical Reports:
Type-safe execution of mobile agents in anonymous networks
Matthew Hennessy and James Riely
We present a partially-typed semantics for Dpi, a distributed
pi-calculus. The semantics is designed for open distributed systems in
which some sites may harbor malicious agents. Nonetheless, the
semantics guarantee traditional type-safety properties at ``good''
locations by using a mixture of static and dynamic type-checking. The
run-time semantics is built on the model of an anonymous network where
the source of incoming agents is unknowable. To counteract possible
misuse of resources all sites keep a record of local resources against
which incoming agents are dynamically typechecked.
Computer Science Technical Report 98:03, School of Cognitive and
Computing Sciences, University of Sussex.