|
Известия Кабардино-Балкарского научного центра РАН, 2005, выпуск 2, страницы 58–67
(Mi izkab782)
|
|
|
|
ИНФОРМАТИКА
Спецификация и моделирование распределенных систем с использованием базовых протоколов
А. А. Летичевскийab a Институт кибернетики им. В. М. Глушкова НАН Украины, г. Киев
b Институт информатики и проблем регионального управления КБНЦ РАН, г. Нальчик
Аннотация:
В данной работе рассмотрены вопросы спецификации и моделирования распределенных систем с использованием базовых протоколов. Показано, что состояния транзиционных систем обычно рассматривается с точностью до бисимуляционной эквивалентности. При этом важно, что инвариантом бисимуляционной эквивалентности состояний является поведение системы в данном состоянии. Приводится также формальное описание базового протокола.
Ключевые слова:
базовый протокол, распределенные системы, транзиционные системы, алгебра
Образец цитирования:
А. А. Летичевский, “Спецификация и моделирование распределенных систем с использованием базовых протоколов”, Известия Кабардино-Балкарского научного центра РАН, 2005, № 2, 58–67
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/izkab782 https://www.mathnet.ru/rus/izkab/y2005/i2/p58
|
Статистика просмотров: |
Страница аннотации: | 16 | PDF полного текста: | 17 | Список литературы: | 2 |
|