%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://www.numdam.org/articles/10.1051/ita:2008026/ %R 10.1051/ita:2008026 %G en %F ITA_2009__43_2_249_0