Publications index

Roberto Bisiani, Fil Alleva, Alessandro Forin, Richard A. Lerner, Malcolm Bauer

Distributed Artificial Intelligence, Chapter 4 - The Architecture of the Agora Environment | 1987

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

David Heckerman, Holly Jimison

UAI-P-1987-PG-123-131 | July 1987

In Proceedings of the Third Workshop on Uncertainty in Artificial Intelligence, Seattle, WA (UAI1987)

John Snyder, Alan H. Barr

ACM SIGGRAPH | July 1987

Leslie Lamport

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

Steven Drucker, D. Siegel, I. Garabieta

IEEE International Conference on Robotics and Automation | June 1987

Leslie Lamport

May 1987

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

Miklos Ajtai, Yuri Gurevich

April 1987

Leslie Lamport

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