Noninterference for concurrent programs and thread systems
scientific article; zbMATH DE number 1767890
scientific article