Publications index

Phil Bernstein, Barbara T. Blaustein, Edmond M. Clarke

International Conference on Very Large Data Bases | September 1980

Butler Lampson, Kenneth A. Pier

7th IEEE Symposium on Computer Architecture | May 1980

Reprinted in 25 years of the International Symposia on Computer Architecture (selected papers), 1998, pp 180-194 (ISBN 978-1-58113-058-4). Also in Technical Report CSL-81-1, Xerox Palo Alto Research Center (related file).

Yuri Gurevich

Fundamenta Mathematicae | April 1980, Vol 57: pp. 145-148

Marshall Pease, Robert Shostak, Leslie Lamport

Journal of the Association for Computing Machinery 27 | April 1980, Vol 2

2005 Edsger W. Dijkstra Prize in Distributed Computing

David Heckerman, Ralph Rosenbaum, Seth Putterman, Gary A. Williams

Journal of Low Temperature Physics | March 1980, Vol 38(5-6): pp. 629-640

Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn

Communications of the ACM | January 1980

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

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.

Henrique S. Malvar

Electronics | December 1979