Publication An Assertional Correctness Proof of a Distributed Program Leslie Lamport Science of Computer Programming | December 1982, pp. 175-206
Publication The Byzantine Generals Problem Leslie Lamport, Robert Shostak, Marshall Pease ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401
Publication Proving Liveness Properties of Concurrent Programs Leslie Lamport, Susan Owicki ACM Transactions on Programming Languages and Systems | July 1982, Vol 4(3): pp. 455-495
Publication A Machine-Independent Linker Christopher W. Fraser, David R. Hanson Software: Practice and Experience | May 1982, Vol 12(4): pp. 351-366
Publication Byzantine Generals and Transaction Commit Protocols Leslie Lamport, Michael Fischer April 1982
Publication Password Authentication with Insecure Communication Leslie Lamport Communications of the ACM 24 | November 1981, pp. 770-772
Publication Least-Squares Lowpass Filters with Nonmonotonic Response Luiz P. Caloba, Henrique S. Malvar IEEE Transactions on Circuits and Systems | December 1980
Publication Reaching Agreement in the Presence of Faults Marshall Pease, Robert Shostak, Leslie Lamport Journal of the Association for Computing Machinery 27 | April 1980, Vol 2 2005 Edsger W. Dijkstra Prize in Distributed Computing
Publication Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
