Sergiu Hart, Micha Sharir, Amir Pnueli. Termination of Probabilistic Concurrent Program. ACM Transactions on Programming Languages and Systems, 5(3):356-380, 1983. [doi]
@article{HartSP83, title = {Termination of Probabilistic Concurrent Program}, author = {Sergiu Hart and Micha Sharir and Amir Pnueli}, year = {1983}, doi = {10.1145/2166.357214}, url = {http://doi.acm.org/10.1145/2166.357214}, tags = {termination}, researchr = {https://researchr.org/publication/HartSP83}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {5}, number = {3}, pages = {356-380}, }