Keywords: treshold automata, fault tolerant distributed algorithms, model checkingFull text (file, 398,82 KB)