Termination of Probabilistic Concurrent Programs.

Sergiu Hart Micha Sharir Amir Pnueli Termination of Probabilistic Concurrent Programs. 1-6 1982 POPL db/conf/popl/popl82.html#HartSP82 POPL/00001525.PDF