@misc{indiciaef2fff61e412f,
  title = {Making Random Choices Invisible to the Scheduler},
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  year = {2007},
  url = {https://arxiv.org/abs/0705.3503},
  note = {Source identifier: 0705.3503}
}