A generalisation of stationary distributions, and probabilistic program Algebra

Electronic Notes in Theoretical Computer Science

Volumn 45, Issue , 2001, Pages 269-279

  McIver, A K ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

Demonic nondeterminism; Markov decision processes; Markov process; Probabilistic program semantics; Probability; Stationary distribution

Indexed keywords

ALGEBRA; DECISION THEORY; FUNCTIONS; MARKOV PROCESSES; PROBABILITY DISTRIBUTIONS; SEMANTICS;

DEMONIC NONDETERMINISM; MARKOV DECISION PROCESSES; PROBABILISTIC PROGRAM SEMANTICS; STATIONARY DISTRIBUTION;

COMPUTER PROGRAMMING;

EID: 18144421149     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80967-8     Document Type: Conference Paper

References (18)

1. Ernie Cohen. Separation and reduction. In Mathematics of Program Construction, 5th International Conference, Portugal, July 2000, number 1837 in LNCS, pages 45-59. Springer Verlag, 2000.
2. L. de Alfaro. Temporal logics for the specification of performance and reliability. Proceedings of STACS '97, LNCS volume 1200, 1997.
3. L. de Alfaro. How to specify and verify the long-run average behavior of parobabilistic systems. In Proceedings of 'LICS '98, 23-24 June, Indianapolis, 1998.
4. Derman C. Finite State Markov Decision Processes. 1970;Academic Press
5. Dijkstra E.W. A Discipline of Programming. 1976;Prentice Hall International, Englewood Cliffs, N.J
6. Feller W. second edition An Introduction to Probability Theory and its Applications. volume 1:1971;Wiley
7. Gardiner P.H.B., Morgan C.C. Data refinement of predicate transformers. Theoretical Computer Science. 87:1991;143-162
8. Grimmett G., Welsh D. Probability: an Introduction. 1986;Oxford Science Publications
9. He Jifeng, Seidel K., McIver A.K. Probabilistic models for the guarded command language. Science of Computer Programming. 28:(2,3):January 1997;171-192
10. Kozen D. Semantics of probabilistic programs. Journal of Computer and System Sciences. 22:1981;328-350
11. Kozen D. A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation. 110:1994;336-390
12. Morgan C.C. Programming from Specifications. second edition :1994;Prentice-Hall
13. Morgan C.C., McIver A.K., Seidel K. Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems. 18:(3):May 1996;325-353
14. C.C. Morgan. Private communication. 1995.
15. R. Segala. Modeling and verification of randomized distributed real-time systems. PhD Thesis, 1995.
16. Sharir M., Pnueli A., Hart S. Verification of probabilistic programs. SIAM Journal on Computing. 13:(2):May 1984;292-314
17. Storey N. Safety-critical computer systems. 1996;Addison-Wesley
18. M. Vardi. Automatic verification of probabilistic concurrent finite-state systems. Proceedings of 26th IEEE Symposium on Found. of Comp. Sci., pages 327-338, 1985.