CSP中的选择

P ∩ Q　　(P or Q)

由机器做出选择，环境无法控制，设计软件时只实现一个即可

P[]Q一般选择（Genral choice）

环境可以控制选择P或Q，若P不可接受这个动作，则执行Q，若Q不可接受这个动作，则执行P，若都可接收，则变成不确定性选择；若都不可接收，则P和Q都不会发生。