莱斯利·兰波特 关于日历程序正确性的证明。 (英语) Zbl 0412.68014号 Commun公司。ACM公司 22, 554-556 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 22,554--556(1979;Zbl 0412.68014) 全文: 内政部
Edsger W.Dijkstra。;莱斯利·兰波特;A.J.马丁。;C.S.肖尔滕。;斯特芬斯,E.F.M。 现场垃圾收集:合作练习。 (英语) Zbl 0386.68024号 Commun公司。ACM公司 21, 966-975 (1978).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra}等人,Commun。ACM 21,966--975(1978;Zbl 0386.68024) 全文: 内政部
莱斯利·兰波特 分布式系统中的时间、时钟和事件顺序。 (英语) Zbl 0378.68027号 Commun公司。ACM公司 21, 558-565 (1978).MSC公司:68瓦99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 21,558--565(1978;Zbl 0378.68027) 全文: 内政部
莱斯利·兰波特 同时阅读和写作。 (英语) Zbl 0361.68091号 Commun公司。ACM公司 20, 806-811 (1977).MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 20,806--811(1977;Zbl 0361.68091) 全文: 内政部
莱斯利·兰波特 带全字指令的多字节处理。 (英语) Zbl 0305.68017号 Commun公司。ACM公司 18, 471-475 (1975).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 18,471--475(1975;Zbl 0305.68017) 全文: 内政部
莱斯利·兰波特 Dijkstra并发编程问题的新解决方案。 (英语) Zbl 0281.68004号 Commun公司。ACM公司 17, 453-455 (1974).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 17453-455(1974年;Zbl 0281.68004) 全文: 内政部
莱斯利·兰波特 DO循环的并行执行。 (英语) Zbl 0273.68012号 Commun公司。ACM公司 183-93年7月17日(1974年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 17,83--93(1974;Zbl 0273.68012) 全文: 内政部
L·兰波特。 评述Bell的散列码搜索二次商方法。 (英语) Zbl 0199.52104号 Commun公司。ACM公司 13, 573-574 (1970). PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 13,573--574(1970;Zbl 0199.52104) 全文: 内政部