Distributed Network Protocols

Adrian Segall; Adrian Segall

doi:10.1109/tit.1983.1056620

Distributed Network Protocols

Adrian Segall
, Adrian Segall

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

316 Scopus citations

Abstract

A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.

Original language	English
Pages (from-to)	23-35
Number of pages	13
Journal	IEEE Transactions on Information Theory
Volume	29
Issue number	1
DOIs	https://doi.org/10.1109/tit.1983.1056620
State	Published - Jan 1983
Externally published	Yes

Access to Document

10.1109/tit.1983.1056620

Cite this

@article{4e99addafe4f4593a5a54f25fa05b564,

title = "Distributed Network Protocols",

abstract = "A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.",

author = "Adrian Segall and Adrian Segall",

year = "1983",

month = jan,

doi = "10.1109/tit.1983.1056620",

language = "אנגלית",

volume = "29",

pages = "23--35",

journal = "IEEE Transactions on Information Theory",

issn = "0018-9448",

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

number = "1",

}

TY - JOUR

T1 - Distributed Network Protocols

AU - Segall, Adrian

PY - 1983/1

Y1 - 1983/1

N2 - A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.

AB - A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.

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

U2 - 10.1109/tit.1983.1056620

DO - 10.1109/tit.1983.1056620

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

AN - SCOPUS:0020497960

SN - 0018-9448

VL - 29

SP - 23

EP - 35

JO - IEEE Transactions on Information Theory

JF - IEEE Transactions on Information Theory

IS - 1

ER -

Distributed Network Protocols

Abstract

Access to Document

Other files and links

Fingerprint

Cite this