理查德·利普顿。 约简:证明并行程序属性的一种方法。 (英语) 兹标0316.68015 Commun公司。ACM公司 18, 717-721 (1975). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于3评论引用于49文件 MSC公司: 68号01 软件理论的一般主题 68瓦99 计算机科学中的算法 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Lipton},Commun(公共)。ACM 18,717--721(1975;Zbl 0316.68015) 全文: 内政部