CSP中的选择时间:2023-03-09 07:29:46 P ∩ Q (P or Q) 由机器做出选择,环境无法控制,设计软件时只实现一个即可 P[]Q一般选择(Genral choice) 环境可以控制选择P或Q,若P不可接受这个动作,则执行Q,若Q不可接受这个动作,则执行P,若都可接收,则变成不确定性选择;若都不可接收,则P和Q都不会发生。