Skip to main content

Semantic models for information flow

Gavin Lowe

Journal
Theor. Comput. Sci.
Number
1
Pages
209−256
Volume
315
Year
2004