Nondeterminism and Probabilistic Choice - entcs

4 downloads 4845 Views 856KB Size Report
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 defines the syntax of CSP. Since we can ...