출판 Finite-Size Scaling and Surface Tension from Effective One-Dimensional Systems Christian Borgs, John Z. Imbrie Commun. Math. Phys. | January 1991, 제 145 권: pp. 235-280
출판 The Concurrent Reading and Writing of Clocks Leslie Lamport ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310
출판 Acoustical Pre-Processing for Robust Spoken Language Systems Alex Acero Proc. of the International Conference on Spoken Language Systems | November 1990
출판 The Mutual Exclusion Problem Has Been Solved Leslie Lamport Communications of the ACM | September 1990, 제 34 권(1): pp. 110
출판 Distributed Computing: Models and Methods Leslie Lamport, Nancy Lynch Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199
출판 A Theorem on Atomicity in Distributed Algorithms Leslie Lamport Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, 제 4 권(2): pp. 59-68
출판 win and sin: Predicate Transformers for Concurrency Leslie Lamport ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
출판 Finite-Size Scaling for Potts Models Christian Borgs, Roman Kotecky, Salvador Miracle-Sole J. Stat. Phys. | June 1990