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.