Bresciani, Riccardo; Butterfield, Andrew
(Springer, 2012)
We present an encoding of the semantics of the probabilis-
tic guarded command language (pGCL) in the Unifying Theories of
Programming (UTP) framework. Our contribution is a UTP encoding
that captures pGCL programs as ...