TY - JOUR
T1 - Distributed Network Protocols
AU - Segall, Adrian
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 - http://www.scopus.com/inward/record.url?scp=0020497960&partnerID=8YFLogxK
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 -