A correctness proof of a topology information maintenance protocol for a distributed computer network
From MaRDI portal
Publication:4122790
DOI10.1145/359636.359701zbMath0352.68053OpenAlexW2029187109MaRDI QIDQ4122790
Publication date: 1977
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/359636.359701
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
A distributed algorithm to prevent mutual drift between n logical clocks, Exploration of Time-Varying Connected Graphs with Silent Agents, Performance evaluation of fault-tolerant routing algorithms: an optimization problem, Updating routing tables after resource failure in a distributed computer network, RANDOMIZED MOBILE AGENT BASED ROUTING IN WIRELESS NETWORKS, Self-stabilization of dynamic systems assuming only read/write atomicity, Some aspects of parallel and distributed iterative algorithms - a survey
