by F. Gretz, J. Katoen, A McIver
Reference:
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language (F. Gretz, J. Katoen, A McIver), In Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on, 2012.
Bibtex Entry:
@INPROCEEDINGS{6354645,
author={Gretz, F. and Katoen, J. and McIver, A},
booktitle={Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on},
title={Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language},
year={2012},
month={Sept},
pages={168-177},
keywords={Markov processes;probability;programming language semantics;Dijkstra's guarded command language;liberal expected cumulative rewards;liberal pre-expectations;operational model;operational precondition semantics;pGCL wp-semantics;pGCL-program;parameterised MDP;parameterised Markov decision processes;post-expectation;probabilistic choice;probabilistic guarded command language;simple operational semantics;state rewards;weakest precondition semantics;Cognition;Command languages;Cost accounting;Markov processes;Probabilistic logic;Semantics;Standards},
doi={10.1109/QEST.2012.21},}