Termination of Probabilistic Concurrent Programs.

Sergiu Hart, Micha Sharir, Amir Pnueli

Browse the full POPL paper archive.