Making Random Choices Invisible to the Scheduler.

Konstantinos Chatzikokolakis, Catuscia Palamidessi

Browse the full CONCUR paper archive.