-
P P = P
trivially...
-
P Q = Q P
-
P (Q R) = (P Q) R
-
x #tex2html_wrap_inline4152# (P Q) = (x #tex2html_wrap_inline4154# P) (x #tex2html_wrap_inline4156# Q)
i.e. choice distributes over non-determinism. So does || and so does
any f(P), where f is a CSP operation.