Search Results - Zhygallo, A.A.
- Showing 1 - 2 results of 2
-
1
Peterson’s Algorithm total correctness proof in IPCL by Zhygallo, A.A.
Published in Проблеми програмування (2016)Get full text
Article -
2
Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.
Published 2018Get full text
Article
Search Tools:
Related Subjects
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
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация