Title of article :
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages
Author/Authors :
J. Beauquier، نويسنده , , B. Bérard، نويسنده , , L. Fribourg ، نويسنده , , F. Magniette ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
13
From page :
83
To page :
95
Keywords :
Self-stabilization – Rewriting systems
Journal title :
DISTRIBUTED COMPUTING
Serial Year :
2001
Journal title :
DISTRIBUTED COMPUTING
Record number :
297723
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=297723
