公開日 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
公開日 A Machine-Independent Linker Christopher W. Fraser, David R. Hanson Software: Practice and Experience | May 1982, 巻12(4): pp. 351-366
公開日 Password Authentication with Insecure Communication Leslie Lamport Communications of the ACM 24 | November 1981, pp. 770-772