Web Directory

    Top: Computers: Computer_Science: People: S:

 

Sewell, Peter

  Link Details for: Sewell, Peter
Link Title: Sewell, Peter Open in a new window
Link URL: http://www.cl.cam.ac.uk/~pes20/
Link Details: University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
Category: Top : Computers : Computer_Science : People : S
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Sewell, Peter