A Full-Duplex DLC Protocol on Two Links

George A. Grover; Adrian Segall

doi:10.1109/26.126722

A Full-Duplex DLC Protocol on Two Links

George A. Grover
, Adrian Segall

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

We 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. We 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.

Original language	English
Pages (from-to)	210-222
Number of pages	13
Journal	IEEE Transactions on Communications
Volume	40
Issue number	1
DOIs	https://doi.org/10.1109/26.126722
State	Published - Jan 1992
Externally published	Yes

Access to Document

10.1109/26.126722

Cite this

@article{b64acca3a03b45a7a97aeb5ddb3c67dd,

title = "A Full-Duplex DLC Protocol on Two Links",

abstract = "We 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. We 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.",

author = "Grover, \{George A.\} and Adrian Segall",

year = "1992",

month = jan,

doi = "10.1109/26.126722",

language = "אנגלית",

volume = "40",

pages = "210--222",

journal = "IEEE Transactions on Communications",

issn = "0090-6778",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "1",

}

TY - JOUR

T1 - A Full-Duplex DLC Protocol on Two Links

AU - Grover, George A.

AU - Segall, Adrian

PY - 1992/1

Y1 - 1992/1

N2 - We 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. We 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.

AB - We 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. We 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.

UR - https://www.scopus.com/pages/publications/0026679061

U2 - 10.1109/26.126722

DO - 10.1109/26.126722

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

SN - 0090-6778

VL - 40

SP - 210

EP - 222

JO - IEEE Transactions on Communications

JF - IEEE Transactions on Communications

IS - 1

ER -

A Full-Duplex DLC Protocol on Two Links

Abstract

Access to Document

Other files and links

Fingerprint

Cite this