Trust and partial typing in open systems of mobile agents (extended abstract). (1999)

by James Riely, Matthew Hennessy
Venue:In Proc. of POPL ’99, the 26th ACM Symposium on Principles of Programming Languages,