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

   Abstract