Suchergebnisse - Zhygallo, A.A.
- Treffer 1 - 2 von 2
-
1
Peterson’s Algorithm total correctness proof in IPCL von Zhygallo, A.A.
Veröffentlicht in Проблеми програмування (2016)Volltext
Artikel -
2
Peterson’s algorithm Total correctness proof in IPCL von Zhygallo, A.A.
Veröffentlicht 2018Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
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
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация