Thread algebra for noninterference Thuy Duong Vu RAIRO-Theor. Inf. Appl., 43 2 (2009) 249-268 Published online: 02 October 2008 DOI: 10.1051/ita:2008026