skip to main content
Show Results with:

The security picalculus and non-interference.

Matthew Hennessy

University of Sussex, Computer Science, 2000.

Check library holdings

Document Supply 7623.617100 5/00 Shelfmark(s)

Searching Remote Databases, Please Wait