A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model.

Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang

Browse the full ESOP paper archive.