Modelling and verification of end-to-end transport protocols

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

A data transfer protocol

N.V. Stenning · Computer Networks (1976) · 1976 · 173 citations

Computing, Computer Science, Computer Systems +8

A Methodology for the Design and Implementation of Communication Protocols

Philip M. Merlin · IRE Transactions on Communications Systems · 1976 · 136 citations

Computing, Communication, Computer Science +16

A system for interprocess communication in a resource sharing computer network

David Walden · Communications of the ACM · 1972 · 86 citations · Full text

Computing, Computer Science, Computer Systems +17