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

DOI10.1016/0020-0190(95)00065-KMaRDI QIDQ672972zbMATH OpenOpenAlexWikidataFDO

Authors Jörg Desel, Ekkart Kindler, 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)

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672972)