Sewell, Peter
cl.cam.ac.ukUniversity of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.