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]
@inproceedings{0001HN13,
title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference},
author = {Andrei Popescu 0001 and Johannes Hölzl and Tobias Nipkow},
year = {2013},
doi = {10.1007/978-3-642-40206-7_18},
url = {http://dx.doi.org/10.1007/978-3-642-40206-7_18},
researchr = {https://researchr.org/publication/0001HN13},
cites = {0},
citedby = {0},
pages = {236-252},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
editor = {Reiko Heckel and Stefan Milius},
volume = {8089},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-40205-0},
}