Information hiding in probabilistic concurrent systems
scientific article; zbMATH DE number 5918227
scientific article