A simplified proof for a self-stabilizing protocol: A Game of Cards

DOI10.1016/0020-0190(95)00065-KzbMath1004.68506OpenAlexW2045684063WikidataQ128111003 ScholiaQ128111003MaRDI QIDQ672972

Ekkart Kindler, Jörg Desel, Tobias Vesper, Rolf Walter

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00065-k

zbMATH Keywords

distributed systemsself-stabilizationtermination proof

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items (3)

Sandpile models and lattices: a comprehensive survey ⋮ Structure of some sand piles model ⋮ A survey on the stability of (extended) linear Sand Pile model

This page was built for publication: A simplified proof for a self-stabilizing protocol: A Game of Cards