Algorithms

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

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

Leslie Lamport

Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, Vol 83: pp. 657-668