Termination of probabilistic concurrent programs (1983)

by S Hart, M Sharir, A Pnueli
Venue:ACM Transactions on Programming Languages and Systems