劳伦斯·弗洛恩;铃木、诺里希萨 非确定性和并行程序的正确性。 (英语) Zbl 0373.68029号 形式描述。程序。语言,程序。IFIP Conf.,加拿大圣安德鲁斯,1977,589-608(1978)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面 引用于5文件 MSC公司: 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式