Sardaouna Hamadou, John Mullins. Calibrating the power of schedulers for probabilistic polynomial-time calculus. Journal of Computer Security, 18(2):265-316, 2010. [doi]
@article{HamadouM10,
title = {Calibrating the power of schedulers for probabilistic polynomial-time calculus},
author = {Sardaouna Hamadou and John Mullins},
year = {2010},
doi = {10.3233/JCS-2010-0362},
url = {http://dx.doi.org/10.3233/JCS-2010-0362},
researchr = {https://researchr.org/publication/HamadouM10},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {18},
number = {2},
pages = {265-316},
}