Abstract
This paper describes a model of a link-level communication line, and defines a set of operations meant to form the basis of data transfer protocols. Some problems concerning verification of protocols are discussed, and it is shown that all protocols using the given operations as a basis are partially correct. Conditions are given for total correctness.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have