%0 Journal Article
%A Vu, Thuy Duong
%T Thread algebra for noninterference
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2009
%P 249-268
%V 43
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita:2008026/
%R 10.1051/ita:2008026
%G en
%F ITA_2009__43_2_249_0