TY  - RPRT
TI  - Making Random Choices Invisible to the Scheduler
AU  - Konstantinos Chatzikokolakis
AU  - Catuscia Palamidessi
PY  - 2007
UR  - https://arxiv.org/abs/0705.3503
ID  - 0705.3503
ER  -