1978
16 references published this year.
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
John Backus (1978) · Communications of the ACM · Association for Computing Machinery
The Belmont Report: Ethical Principles and Guidelines for the Protection of Human Subjects of Research
National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research (1978) · U.S. Department of Health, Education, and Welfare
Distributed processes: a concurrent programming concept
Per Brinch Hansen (1978) · Communications of the ACM · Association for Computing Machinery
Reproducible testing of monitors
Per Brinch Hansen (1978) · Software: Practice and Experience · Wiley
Soundness and completeness of an axiom system for program verification
Stephen A. Cook (1978) · SIAM Journal on Computing
Communicating sequential processes
C. A. R. Hoare (1978) · Communications of the ACM · Association for Computing Machinery
General purpose packet satellite networks
I.M. Jacobs and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Advances in packet radio technology
R.E. Kahn and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Atlanta Fiber System Experiment: Results of the Atlanta Experiment
R. S. Kerdock and others (1978) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers (IEEE)
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences · Elsevier
Using encryption for authentication in large networks of computers
Roger M. Needham and others (1978) · Communications of the ACM · Association for Computing Machinery
Reliability Issues in Computing System Design
B. Randell and others (1978) · ACM Computing Surveys · Association for Computing Machinery
Naming and Synchronization in a Decentralized Computer System
David P. Reed (1978)
The Evolution of Packet Switching
Lawrence G. Roberts (1978) · Proceedings of the IEEE
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology · Elsevier