Algorithms

Leslie Lamport

ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11

Leslie Lamport

Logics and Models of Concurrent Systems, Krzysztof Apt, editor. Springer-Verlag, Berlin | August 1985, pp. 77-122

K. Mani Chandy, Leslie Lamport

ACM Transactions on Computer Systems | February 1985, pp. 63-75

Leslie Lamport

Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1985

Leslie Lamport, P. M. Melliar-Smith

Journal of the Association for Computing Machinery | January 1985, Vol 32(1): pp. 52-78

Leslie Lamport

Foundations of Physics | October 1984, Vol 42(8): pp. 1056-1066

Leslie Lamport

October 1984

Leslie Lamport

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984

Leslie Lamport, Michael Melliar-Smith

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing | August 1984

Leslie Lamport

July 1984 | Rejected from the 1985 POPL Conference edition edition

Rejected from the 1985 POPL Conference