@inproceedings{dc78f1466bd74283853cb389f533b2a2,
title = "Reasoning algebraically about probabilistic loops",
abstract = "Back and von Wright have developed algebraic laws for reasoning about loops in the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus. We apply our algebraic reasoning to derive transformation rules for probabilistic action systems. In particular we focus on developing data refinement rules for probabilistic action systems. Our extension is interesting since some well known transformation rules that are applicable to standard programs are not applicable to probabilistic ones: we identify some of these important differences and we develop alternative rules where possible. In particular, our probabilistic action system data refinement rules are new.",
author = "Larissa Meinicke and Hayes, {Ian J.}",
year = "2006",
language = "English",
isbn = "3540474609",
volume = "4260 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "380--399",
editor = "Zhiming Liu and Jifeng He",
booktitle = "Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings",
address = "United States",
note = "8th International Conference on Formal Engineering Methods, ICFEM 2006 ; Conference date: 01-11-2006 Through 03-11-2006",
}