the fact that the expected laws for nondeterministic choice and proba- bilistic choice ..... TX 0 TX /\ tX E PAP) /\ TX 6 PU(P)}, ordered by X g Y iff lX Q lY and TX 2 TY. ..... algebra of the same signature as deï¬nes the syntax of CSP. Since we can ...