Annabelle McIver and Carroll Morgan
November 1995, 13pp.
In technical report TR-12-94, a probabilistic space PCSP of processes is constructed uniformly from the standard CSP failures-divergences model. Here we identify the deterministic (probabilistic) elements of PCSP as the maximal elements in the refinement ordering. We extend the standard characterisation of deterministic processes in terms of properties of their finite approximations, and formulate some analogues of the standard syntactic rules for ensuring determinism.