A timing-based schema for stabilizing information exchange

@article{Arora1995ATS,
  title={A timing-based schema for stabilizing information exchange},
  author={Anish Arora and D. M. Poduska},
  journal={Proceedings of International Conference on Network Protocols},
  year={1995},
  pages={324-331}
}
The paradigm of information exchange provides a basis for nodes in a network to stay up-to-date with the recent information in the network. In this paradigm, nodes cooperate with each other to share their current information. We present a simple and uniform schema for building information exchange protocols that are stabilizing, in the following strong sense. Starting from arbitrary state, the protocols reach within bounded real-time a state from where all nodes remain up-to-date with recent… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

The SunSCALR framework for Internet servers

  • Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224)
  • 1998
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Towards dependable home networking: an experience report

  • Proceeding International Conference on Dependable Systems and Networks. DSN 2000
  • 2000

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

Stabilizing Communication Protocols

  • IEEE Trans. Computers
  • 1991
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A logic for real-time fault-tolerant programs

A. Arora, D. M. Poduska
  • Unpublished manuscript,
  • 1995
VIEW 1 EXCERPT

Self-stabilization by local checking and correction

  • [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
  • 1991
VIEW 1 EXCERPT

Safety analysis of timing properties in real-time systems

  • IEEE Transactions on Software Engineering
  • 1986
VIEW 2 EXCERPTS

Distributed network protocols

  • IEEE Trans. Information Theory
  • 1983
VIEW 2 EXCERPTS