Termination of Probabilistic Concurrent Program

Sergiu Hart, Micha Sharir, Amir Pnueli

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)356-380
Number of pages25
JournalACM Transactions on Programming Languages and Systems
Volume5
Issue number3
DOIs
StatePublished - 1 Jul 1983

Cite this