математичні моделі, математические модели ; мережі Петрі, сети Петри ; Проблеми програмування № 2-3 2014 ; Паралельне програмування ; верифікація, верификация ; 004.414.2 Аналіз і розробка комп'ютерної системи

В работе рассмотрены модели Крипке двух математических моделей параллельных распределенных систем.

• Проблеми програмування [Текст] : наук. журн. — 2014. — 2-3. — 106 с.
• Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.

• УДК // Алгоритми
• УДК // Аналіз і розробка комп'ютерної системи
• УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних
• УДК // Послідовні схеми
• УДК // Процесорні блоки. Процесорні схеми