Известия Кабардино-Балкарского научного центра РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Известия Кабардино-Балкарского научного центра РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Кабардино-Балкарского научного центра РАН, 2001, выпуск 2, страницы 3–13 (Mi izkab834)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

ИНФОРМАТИКА

Логика отказоустойчивых распределенных систем

Ю. М. Бишенов

Институт информатики и проблем регионального управления КБНЦ РАН, г. Нальчик
PDF полного текста (6400 kB) Список цитирования (1)
Аннотация: Рассмотрены временная логика $S_{4.3D}$ с одним модальным операторов «всегда» и логика знаний $S_5$ с одним модальным оператором «некто знает что-то». Распределенная система моделируется по поведению как система переходов состояний. В это поведение вносится модель ошибок.
Ключевые слова: временная логика, модальная логика, логика знаний, распределенная система, поведение, моделирование, система перехода состояний СПС, отказоустойчивость, модель ошибок
Тип публикации: Статья
УДК: 519.717
Образец цитирования: Ю. М. Бишенов, “Логика отказоустойчивых распределенных систем”, Известия Кабардино-Балкарского научного центра РАН, 2001, № 2, 3–13
Цитирование в формате AMSBIB
\RBibitem{Bis01}
\by Ю.~М.~Бишенов
\paper Логика отказоустойчивых распределенных систем
\jour Известия Кабардино-Балкарского научного центра РАН
\yr 2001
\issue 2
\pages 3--13
\mathnet{http://mi.mathnet.ru/izkab834}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/izkab834
  • https://www.mathnet.ru/rus/izkab/y2001/i2/p3
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Кабардино-Балкарского научного центра РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025