CSP中的选择
摘要：
P ∩ Q (P or Q) 由机器做出选择，环境无法控制，设计软件时只实现一个即可 P[]Q一般选择（Genral choice） 环境可以控制选择P或Q，若P不可接受这个动作，则执行Q，若Q不可接受这个动作，则执行P，若都可接收，则变成不确定性选择；若都不可接收，则P和Q都不会发生。 阅读全文
posted @ 2019-03-27 16:21 Pusteblume2018 阅读(268) 评论(0) 推荐(0) 编辑
