Publications index

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

Yuri Gurevich

Sixth International Congress for Logic, Methodology and Philosophy of | 1979 | Sixth International Congress for Logic, Methodology and Philosophy of edition

Leslie Lamport

August 1979