@conference {inp:PopescuHoelzlNipkow2013, title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference}, booktitle = {Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)}, year = {2013}, author = {A. Popescu and J. H{\"o}lzl and T. Nipkow} }