Hiroya Kawai 离散时间和空间中并行程序的一种形式化系统。 (英语) Zbl 0469.68040号 信息处理。莱特。 11, 204-210 (1980).MSC公司:68问题65 60年第68季度 03B45 68号01 03立方厘米75 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},Inf.过程。莱特。11、204-210(1980;Zbl 0469.68040) 全文: 内政部
伊加尔·克瓦特 时间逻辑和反事实的形式语义。 (英语) Zbl 0448.03005号 逻辑分析。,努夫。Sér。 23, 35-62 (1980).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kvart},日志。分析。,努夫。Sér。23、35-62(1980;Zbl 0448.03005)
阿米尔卡·瑟纳达斯 逻辑过程定义的时间方面。 (英语) Zbl 0444.68084号 信息系统。 5, 167-187 (1980).MSC公司:68第20页 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas},信息系统。5167--187(1980;Zbl 0444.68084) 全文: 内政部
Hirokazu西村 描述完整的过程逻辑。 (英语) Zbl 0423.68005号 学报信息。 14, 359-369 (1980).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{西村H.Nishimura},Acta Inf.14,359--369(1980;Zbl 0423.68005) 全文: 内政部
莱斯利·兰波特 并发程序的“Hoare逻辑”。 (英语) Zbl 0416.68032号 学报信息。 14, 21-37 (1980).MSC公司:68问题65 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Acta Inf.14,21-37(1980年;兹bl 0416.68032) 全文: 内政部