A New Technique for Proving Self-stabilizing under the Distributed Scheduler.

Sven Khler, Volker Turau

Browse the full SSS paper archive.