Trust and Partial Typing in Open Systems of Mobile Agents.

James Riely, Matthew Hennessy

Browse the full POPL paper archive.