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
Publication SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt, P. M. Melliar-Smith, Robert E. Shostak, Charles B. Weinstock Proceedings of the IEEE 66 | October 1978