Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow. Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. In Reiko Heckel, Stefan Milius, editors, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Volume 8089 of Lecture Notes in Computer Science, pages 236-252, Springer, 2013. [doi]
Abstract is missing.