Concurrent Probabilistic Program, or: How to Schedule if You Must.

Sergiu Hart, Micha Sharir

Browse the full ICALP paper archive.