Algorithms

Fred B. Schneider, Leslie Lamport

Software Engineering Notes | July 1988, Vol 13(3): pp. 1-2

Leslie Lamport

April 1988

Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 11. | April 1988, pp. 267-281

Carl Kadie

UAI-P-1988-PG-197-204 | January 1988

David Kurlander, Eric A. Bier

January 1988

Christian Borgs

Communications in Mathematical Physics | August 1987, Vol 116(2): pp. 309-342

Leslie Lamport

| August 1987

The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)

Yuri Gurevich, Saharon Shelah

Journal on Computing | July 1987, Vol 16(3): pp. 486-502

Danny Dolev, Leslie Lamport, Marshall Pease, Robert Shostak

Concurrency Control and Reliability in Distributed Systems, Bharat K. Bhargava, editor, Van Nostrand Reinhold | July 1987, pp. 348-369

Leslie Lamport

Notices of the American Mathematical Society. | June 1987, pp. 621-624