|
News of the Kabardin-Balkar scientific center of RAS, 2001, Issue 2, Pages 3–13
(Mi izkab834)
|
|
|
|
This article is cited in 1 scientific paper (total 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
Citation:
U. M. Bishenov, “Logic of fault-tolerant distributed systems”, News of the Kabardin-Balkar scientific center of RAS, 2001, no. 2, 3–13
Linking options:
https://www.mathnet.ru/eng/izkab834 https://www.mathnet.ru/eng/izkab/y2001/i2/p3
|
Statistics & downloads: |
Abstract page: | 18 | Full-text PDF : | 8 |
|