Algorithms

Christian Borgs

Communications in Mathematical Physics | August 1987, Vol 116(2): pp. 309-342

Leslie Lamport

| August 1987

The ACM Conference on Human Factors in Computing Systems Workshop on Sensemaking (CHI 2008)

Yuri Gurevich, Saharon Shelah

Journal on Computing | July 1987, Vol 16(3): pp. 486-502

Danny Dolev, Leslie Lamport, Marshall Pease, Robert Shostak

Concurrency Control and Reliability in Distributed Systems, Bharat K. Bhargava, editor, Van Nostrand Reinhold | July 1987, pp. 348-369

Leslie Lamport

Notices of the American Mathematical Society. | June 1987, pp. 621-624

Leslie Lamport

May 1987

Email message sent to a DEC SRC bulletin board at 12:23:29 PDT on 28 May 87.

Leslie Lamport

In Distributed Operating Systems: Theory and Practice, Paker, Banatre and Bozyigit, editors, Springer-Verlag | April 1987, pp. 1-46

Leslie Lamport

February 1987

Josh Benaloh

Crypto ’86 | August 1986

Leslie Lamport

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