Результати пошуку - Zhygallo, A.A.
- Показ 1 - 2 результатів із 2
-
1
Peterson’s Algorithm total correctness proof in IPCL за авторством Zhygallo, A.A.
Опубліковано в: Проблеми програмування (2016)Отримати повний текст
Стаття -
2
Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.
Опубліковано 2018Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
IPCL
Peterson’s algorithm
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
liveness property
mutual exclusion
software total correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415.52
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация