Morgan, C; McI, A
(South African Computer Society (SAICSIT), 1998)
Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...