Algorithms - Microsoft Research

Publication

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

Publication

Leslie Lamport, P. M. Melliar-Smith

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

Publication

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

Publication

October 1984

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