For the most recent entries see the Petri Nets Newsletter.

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

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

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography