Publications index

Leslie Lamport, P. M. Melliar-Smith

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

W. D. Goldfarb, Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | December 1984, Vol 49: pp. 1253-1261

Leslie Lamport

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

Leslie Lamport

October 1984

Rod Burstall, Butler Lampson

International Symposium on Semantics of Data Types | September 1984

Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346

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

Berthold K. P. Horn, Katsushi Ikeuchi

Scientific American | July 1984, Vol 251(2): pp. 100-111

Leslie Lamport

July 1984 | Rejected from the 1985 POPL Conference edition edition

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