1980
11 references published this year.
Mathematical theory of program correctness
Jacobus W. de Bakker (1980) · Prentice-Hall
A General Transition Model for Protocols and Communication Services
G. Bochmann (1980) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers (IEEE)
Comments on "The case for the reduced instruction set computer," by Patterson and Ditzel
Douglas W. Clark and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
The unreasonable effectiveness of mathematics
Richard Wesley Hamming (1980) · The American Mathematical Monthly · Informa UK Limited
Experience with processes and monitors in Mesa
Butler W. Lampson and others (1980) · Communications of the ACM · Association for Computing Machinery
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy and others (1980) · Stanford University
Introduction to VLSI Systems
Carver Mead and others (1980) · Addison-Wesley
WWMCCS and the Computer that Can
Perry R. Nuhn (1980) · The US Army War College Quarterly: Parameters · USAWC Press
The case for the reduced instruction set computer
David A. Patterson and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
Reaching Agreement in the Presence of Faults
M. Pease and others (1980) · Journal of the ACM · Association for Computing Machinery
User Datagram Protocol
Postel, J. (1980) · RFC Editor