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
Publication Sometime’ is Sometimes ‘Not Never’ Leslie Lamport Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
Publication Letter to the Editor Leslie Lamport Communications of the ACM 22 | November 1979, Vol 11: pp. 624
Publication Constructing Digital Signatures from a One Way Function Leslie Lamport CSL-98 | October 1979 This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
Publication On the Proof of Correctness of a Calendar Program Leslie Lamport Communications of the ACM 22 | October 1979, Vol 10: pp. 554-556
Publication How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs Leslie Lamport IEEE Transactions on Computers C-28 | September 1979, Vol 9: pp. 690-691
Publication A New Approach to Proving the Correctness of Multiprocess Programs Leslie Lamport ACM Transactions on Programming Languages and Systems 1 | July 1979, Vol 1: pp. 84-97
Publication On-the-fly Garbage Collection: an Exercise in Cooperation Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, E. F. M. Steffens Communications of the ACM 21 | November 1978, Vol 11: pp. 966-975