Publications index

A. M. W. Glass, Yuri Gurevich

Transactions of American Mathematics Society | October 1983, Vol 280: pp. 127-138

Butler Lampson

9th ACM Symposium on Operating Systems Principles | October 1983

ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.

ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28

Yuri Gurevich

Journal of Symbolic Logic | July 1983, Vol 48: pp. 193-196

Yuri Gurevich, Menachem Magidor, Saharon Shelah

Journal of Symbolic Logic | July 1983, Vol 48: pp. 387-398

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | July 1983, Vol 48: pp. 1102-1119

Yuri Gurevich, Saharon Shelah

July 1983, Vol 48

Leslie Lamport

Journal of the Association for Computing Machinery | June 1983, Vol 30(3): pp. 668-676

Butler Lampson, Eric Schmidt

1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983

Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13

Leslie Lamport

Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, Vol 83: pp. 657-668

Christian Borgs, Erhard Seiler

May 1983, Vol 91(3): pp. 329-380