![](/img/cover-not-exists.png)
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages
J. Beauquier, B. Bérard, L. Fribourg, F. MagnietteVolume:
14
Language:
english
Pages:
13
DOI:
10.1007/pl00008931
Date:
April, 2001
File:
PDF, 220 KB
english, 2001