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