Calibrating the power of schedulers for probabilistic polynomial-time calculus

Sardaouna Hamadou, John Mullins. Calibrating the power of schedulers for probabilistic polynomial-time calculus. Journal of Computer Security, 18(2):265-316, 2010. [doi]

Abstract

Abstract is missing.