Algorithms

Leslie Lamport

February 1987

Josh Benaloh

Crypto ’86 | August 1986

Leslie Lamport

Journal of the Association for Computing Machinery | January 1986, 巻33(2): pp. 313-348

Leslie Lamport

Journal of the Association for Computing Machinery | January 1986, 巻33(2): pp. 313-348

Leslie Lamport

Distributed Computing. Also appeared as SRC Research Report 8. | December 1985, pp. 77-101

Leslie Lamport

ACM Transactions on Computer Systems 5, 1 (February 1987), 1-11. Also appeared as SRC Research Report 7. | November 1985, pp. 1-11

Leslie Lamport

Logics and Models of Concurrent Systems, Krzysztof Apt, editor. Springer-Verlag, Berlin | August 1985, pp. 77-122

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