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

DOI10.1016/0020-0190(95)00065-KzbMATH Open1004.68506OpenAlexW2045684063WikidataQ128111003 ScholiaQ128111003MaRDI QIDQ672972FDOQ672972

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
• 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

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