Algorithms

K. Mani Chandy, Leslie Lamport

ACM Transactions on Computer Systems | February 1985, pp. 63-75

Leslie Lamport

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

Leslie Lamport, P. M. Melliar-Smith

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

Leslie Lamport

Foundations of Physics | October 1984, 第 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