Matthew__Hennessy
Information flow vs. resource access in the asynchronous pi-calculus
Resource Access Control in Systems of Mobile Agents
SafeDPi: A language for controlling mobile code
Type-Safe Execution of Mobile Agents in Anonymous Networks