Probabilistic Demonic Refinement Algebra Larissa Meinicke Kim Solin August 2006 Technical Report SSE-2006-04 Division of Systems and Software Engineering Research School of Information Technology and Electrical Engineering The University of Queensland QLD, 4072, Australia http://www.itee.uq.edu.au/∼ sse