Sewell, Peter
University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.

No queries for www.cl.cam.ac.uk/~pes20