Termination of Probabilistic Concurrent Program
- 1 July 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (3) , 356-380
- https://doi.org/10.1145/2166.357214
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Verification of Probabilistic ProgramsSIAM Journal on Computing, 1984
- The choice coordination problemActa Informatica, 1982
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981