Computing Publications

Publications Home » Note on a simple type system for...

Note on a simple type system for non-interference.

Steffen van Bakel, Maria Vigliotti

Conference or Workshop Paper
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
2007
Keywords
AESOP
PDF of full publication (149 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.