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.
No takes yet. Share an insight, caveat, or question.
A. Segall (1983) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: