Krysztof R.阿普特。;E.-R.奥尔德罗。 关于公平的证明规则和转换。 (英语) Zbl 0512.68014号 科学。计算。程序。 3, 65-100 (1983). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于28文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:Dijkstra的do-od计划;证明规则;非确定性并行程序 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.R.Olderog},科学。计算。程序。3、65——100(1983年;Zbl 0512.68014) 全文: 内政部 链接