Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау. JMMCS 2018, 92 (4), 70-79.