Timer-based composition of fault-containing self-stabilizing protocols
scientific article; zbMATH DE number 5758497
scientific article