Verification of a class of link-level protocols

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

A data transfer protocol

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

Computing, Computer Science, Computer Systems +8

A Unified Method for the Specification and Verification of Protocols.

Gregor von Bochmann, J. Gecsei · IFIP Congress · 1977 · 81 citations

Computing, Computer Science, Computer Systems +12

A graph-model analysis of computer communications protocols.

J. Postel · Defense Technical Information Center (DTIC) · 1974 · 38 citations

Computing, Computer Engineering, Computer Science +14