Algorithms

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

Leslie Lamport

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

Christian Borgs, Erhard Seiler

May 1983, Vol 91(3): pp. 329-380

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222

Leslie Lamport

Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983