A simplified proof for a self-stabilizing protocol: a game of cards

Authors:
Jörg Desel;Ekkart Kindler;Tobias Vesper;Rolf Walter
Affiliations:
-;-;-;-
Venue:
Information Processing Letters
Year:
1995

Citing 0
Cited 2

Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms

DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Sandpile models and lattices: a comprehensive survey

Theoretical Computer Science - Discrete applied problems, florilegium for E. Goles

Quantified Score

Hi-index	0.89

Visualization

Abstract