%0 Journal Article %A U. M. Bishenov %T Logic of fault-tolerant distributed systems %J News of the Kabardin-Balkar scientific center of RAS %D 2001 %P 3-13 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/IZKAB_2001_2_a0/ %G ru %F IZKAB_2001_2_a0