Sergiu Hart, Micha Sharir, Amir Pnueli. Termination of Probabilistic Concurrent Program. ACM Transactions on Programming Languages and Systems, 5(3):356-380, 1983. [doi]
No references recorded for this publication.
No citations of this publication recorded.