Probabilistic Choice in Refinement Algebra.

Larissa Meinicke, Ian J. Hayes

Browse the full MPC paper archive.