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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
