This article is cited in 1 paper

INFORMATICS

Logic of fault-tolerant distributed systems

U. M. Bishenov

Institute of Computer Science and Problems of Regional Management of KBSC of RAS, Nal'chik

Abstract: Temporal logic $S_{4.3D}$ with one modal operator «always» and knowledge logic $S_5$ with one modal operator «someone knows something» are considered. The distributed system is modeled in behavior as a system of state transitions. This behavior introduces an error model.

Keywords: temporal logic, modal logic, knowledge logic, distributed system, behavior, modeling, SPS state transition system, fault tolerance, error model

UDC: 519.717