Partial correctness for probabilistic demonic programs
- 6 September 2001
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 266 (1-2) , 513-541
- https://doi.org/10.1016/s0304-3975(00)00208-5
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The generalized Riemann integral on locally compact spacesTopology and its Applications, 1998
- Unifying wp and wlpInformation Processing Letters, 1996
- PCF extended with real numbersTheoretical Computer Science, 1996
- Probabilistic predicate transformersACM Transactions on Programming Languages and Systems, 1996
- Domain theory and integrationTheoretical Computer Science, 1995
- On randomization in sequential and distributed algorithmsACM Computing Surveys, 1994
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- A probabilistic dynamic logicJournal of Computer and System Sciences, 1984
- A probabilistic PDLPublished by Association for Computing Machinery (ACM) ,1983
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981