Sergiu Hart, Micha Sharir, Amir Pnueli. Termination of Probabilistic Concurrent Programs. In POPL. pages 1-6, 1982.
@inproceedings{HartSP82, title = {Termination of Probabilistic Concurrent Programs}, author = {Sergiu Hart and Micha Sharir and Amir Pnueli}, year = {1982}, tags = {termination}, researchr = {https://researchr.org/publication/HartSP82}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {POPL}, }