An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.

Milos Besta, Frank A. Stomp

Browse the full ICECCS paper archive.