1981
8 references published this year.
Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems
Design and synthesis of synchronization skeletons using branching time temporal logic
Edmund M. Clarke and others (1981) · Logic of Programs · Springer
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
The science of programming
David Gries (1981) · Springer
General theory of metastable operation
Leonard R. Marino (1981) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Assigned numbers
J. Postel (1981) · RFC Editor
Transmission Control Protocol
J. Postel (1981) · RFC Editor
Computer Networks
Andrew S. Tanenbaum (1981) · Prentice-Hall