Algorithms - Microsoft Research

Publication

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

Publication

Leslie Lamport, Michael Melliar-Smith

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

Publication

July 1984 | Rejected from the 1985 POPL Conference edition edition

Rejected from the 1985 POPL Conference

Publication

Leslie Lamport, Fred B. Schneider

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

Publication

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

Publication

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

Publication

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

Publication

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

Publication

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

Publication

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