Publications index

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

Leslie Lamport, Fred B. Schneider

Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | July 1984

Yuri Gurevich

"Computation and Proof Theory" (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216

Yuri Gurevich, Saharon Shelah

July 1984