A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).

Oliver E. Theel

Browse the full PODC paper archive.