Verification of Link-Level Protocols,

Abstract

Stein Krogdahl has given an interesting demonstration of the partial correctness of a 'protocol skeleton', by which the validity of the essential aspects of a large variety of data transmission schemes can be demonstrated. The purpose of this note is to present a simpler way to obtain the same results, by first establishing the validity of a less efficient skeleton and then 'optimizing' the algorithms. The present approach, which was introduced for a particular protocol by N. V. Stenning, also solves a wider class of problems that do not require first-in-first-out transmissions. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1981
Accession Number
ADA099140

Entities

People

  • Donald Knuth

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Buffer Storage
  • Communication Systems
  • Communications Protocols
  • Computations
  • Computer Communications
  • Computer Networks
  • Computer Science
  • Computers
  • Data Storage Systems
  • Data Transmission
  • Military Research
  • Network Science
  • Permutations
  • System Software
  • Transmission Lines
  • Verification

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Mathematical Modeling and Probability Theory.
  • Statistical inference.