In: Information Processing Letters Vol. 54, pages 327-328. 1995.
Abstract: We present a termination proof for a simple distributed algorithm, which we call Game of Cards. This algorithm extracts the essential part of a self-stabilizing protocol for the leader election problem in uniform rings, introduced by Huang.
Back to the Petri Nets Bibliography