Termination of Probabilistic Concurrent Programs

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},
}