Thread algebra for noninterferenceThuy Duong VuRAIRO-Theor. Inf. Appl., 43 2 (2009) 249-268DOI: https://doi.org/10.1051/ita:2008026
