Information hiding in probabilistic concurrent systems

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova. Information hiding in probabilistic concurrent systems. Theoretical Computer Science, 412(28):3072-3089, 2011. [doi]

Abstract

Abstract is missing.