Publications index

Leslie Lamport

Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980

Ralph Rosenbaum, G. A. Williams, David Heckerman, J. Marcus, D. Scholler, J. Maynard, I. Rudnick

Journal of Low Temperature Physics | December 1979, Vol 37(5): pp. 663-678

Henrique S. Malvar

Electronics | December 1979

Butler Lampson, Robert F. Sproull

7th ACM Symposium on Operating Systems Principles | December 1979

Editor(s): Michael D. Schroeder, Anita K. Jones

Published in ACM Operating Systems Review 11, 5 (Dec. 1979), pp 98-105. For the original, see the related file.

Leslie Lamport

Communications of the ACM 22 | November 1979, Vol 11: pp. 624

Leslie Lamport

CSL-98 | October 1979

This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.

Leslie Lamport

Communications of the ACM 22 | October 1979, Vol 10: pp. 554-556

Leslie Lamport

IEEE Transactions on Computers C-28 | September 1979, Vol 9: pp. 690-691

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | August 1979, Vol 44: pp. 491-502

Yuri Gurevich

Journal of Symbolic Logic | August 1979, Vol 44: pp. 481-490