A data transfer protocol

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

Recoverability of Communication Protocols--Implications of a Theoretical Study

Philip M. Merlin, David Farber · IRE Transactions on Communications Systems · 1976 · 874 citations

Computing, Computer Science, Computer Systems +14

A Protocol for Packet Network Intercommunication

Vinton G. Cerf, Robert E. Kahn · IEEE Transactions on Communications · 1974 · 818 citations

Computing, Computer Science, Computer Networks +16

The programming language pascal

Niklaus Wirth · Acta Informatica · 1971 · 723 citations

Computing, Computer Science, Artificial Intelligence +6