论文与出版物 The Hoare Logic Of CSP, and All That Leslie Lamport ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296
论文与出版物 Using Time Instead of Timeout for Fault-Tolerant Distributed Systems Leslie Lamport ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280
论文与出版物 The Weak Byzantine Generals Problem Leslie Lamport Journal of the Association for Computing Machinery | June 1983, 第 30 卷(3): pp. 668-676
论文与出版物 What Good Is Temporal Logic? Leslie Lamport Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, 第 83 卷: pp. 657-668
论文与出版物 Lattice Yang-Mills Theory at Nonzero Temperature and the Confinement Problem Christian Borgs, Erhard Seiler May 1983, 第 91 卷(3): pp. 329-380
论文与出版物 Specifying Concurrent Program Modules Leslie Lamport ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222
论文与出版物 Reasoning About Nonatomic Operations Leslie Lamport Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983
论文与出版物 An Assertional Correctness Proof of a Distributed Program Leslie Lamport Science of Computer Programming | December 1982, pp. 175-206
论文与出版物 The Byzantine Generals Problem Leslie Lamport, Robert Shostak, Marshall Pease ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401
论文与出版物 Proving Liveness Properties of Concurrent Programs Leslie Lamport, Susan Owicki ACM Transactions on Programming Languages and Systems | July 1982, 第 4 卷(3): pp. 455-495
微软研究院
微软研究院