@inproceedings{2e5763d4b23e4edeb6a30f8d4058c279,

title = "Reactive probabilistic programs and refinement algebra",

abstract = "A trace semantics is given for a probabilistic reactive language which is capable of modelling probabilistic action systems. It is shown that reactive probabilistic programs with the trace semantics form a general refinement algebra. The abstract-algebraic characterisation means that the proofs of earlier-established transformation rules can be reused for probabilistic action systems with trace semantics.",

author = "Meinicke, {L. A.} and K. Solin",

year = "2008",

doi = "10.1007/978-3-540-78913-0-23",

language = "English",

isbn = "354078912X",

volume = "4988 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "304--319",

editor = "Rudolf Berghammer and Bernhard Möller and Georg Struth",

booktitle = "Relations and Kleene Algebra in Computer Science - 10th Int. Conference on Relational Methods in Comput. Sci. and 5th Int. Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Proceedings",

}