## Reenementoriented probability for CSP

- C C Morgan, A K Mciver, K Seidel, J W Sanders
- Reenementoriented probability for CSP
- 1994

@inproceedings{McIverProgrammingRG, title={Programming Research Group Probabilistic Detreminism Probabilistic Determinism}, author={GroupPROBABILISTIC DETREMINISMAnnabelle McIver} }

In 3] 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 reenement ordering. We extend the standard characterisation of deterministic processes in terms of of properties of their nite approximations, and formulate some analogues of the standard syntactic rules for ensuring determinism.