DocumentCode
897808
Title
A full-duplex DLC protocol on two links
Author
Grover, George A. ; Segall, Adrian
Author_Institution
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Volume
40
Issue
1
fYear
1992
fDate
1/1/1992 12:00:00 AM
Firstpage
210
Lastpage
222
Abstract
The authors consider a special case of multilink protocol, namely, a system consisting of two half-duplex parallel links that carry data in opposite directions between two nodes. They construct a protocol that simulates a full-duplex reliable link between the two nodes. Synchronization is achieved without resorting to the use of serial numbers. A validation proof of the protocol is provided. The design of the protocol exhibits an instance of the value of correctness proofs in the design process, as several successive protocols, discussed in the paper, were only found to be incorrect through the effort to prove them otherwise
Keywords
protocols; telecommunications control; full-duplex DLC protocol; half-duplex parallel links; multilink protocol; protocol design; synchronisation; Automatic control; Communication switching; Computer science; Data communication; Logic; Process design; Propagation delay; Protocols; Societies; Switches;
fLanguage
English
Journal_Title
Communications, IEEE Transactions on
Publisher
ieee
ISSN
0090-6778
Type
jour
DOI
10.1109/26.126722
Filename
126722
Link To Document