Termination of probabilistic concurrent programs (1983)

by S Hart, M Sharir, A Pnueli
Venue:ACM Trans. Program. Lang. Syst