출판 A Simple Approach to Specifying Concurrent Systems Leslie Lamport Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989
출판 A Unified Approach to Phase Diagrams in Field Theory and Statistical Mechanics Christian Borgs, John Z. Imbrie Commun. Math. Phys. | October 1988, 제 128 권: pp. 305-328
출판 A Lattice-Structured Proof of a Minimum Spanning Tree Algorithm Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988
출판 Another Position Paper on Fairness Fred B. Schneider, Leslie Lamport Software Engineering Notes | July 1988, 제 13 권(3): pp. 1-2
출판 Control Predicates Are Better than Dummy Variables for Representing Program Control Leslie Lamport ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 11. | April 1988, pp. 267-281
출판 Confinement, Deconfinement and Freezing in Lattice Yang-Mills Theories with Continuous Time Christian Borgs Communications in Mathematical Physics | August 1987, 제 116 권(2): pp. 309-342