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 阅读(265) 评论(0) 推荐(0) 编辑