skip to main content
Show Results with:

The security picalculus and non-interference.

Matthew Hennessy

University of Sussex, Computer Science, 2000.

Check library holdings

Searching Remote Databases, Please Wait