Algorithms

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

Leslie Lamport, Fred B. Schneider

Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | July 1984

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280

Leslie Lamport

Journal of the Association for Computing Machinery | June 1983, Vol 30(3): pp. 668-676