Showing
1 - 2
results of
2
for search '
Zhygallo, A.A.
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
Open Science Harvester of NAS of Ukraine
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
Author
Zhygallo, A.A.
Showing
1 - 2
results of
2
for search '
Zhygallo, A.A.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Peterson’s algorithm Total correctness proof in IPCL
by
Zhygallo, A.A.
Published 2018
Get full text
Article
Save to List
Saved in:
Select result number 2
2
Peterson’s Algorithm total correctness proof in IPCL
by
Zhygallo, A.A.
Published in
Проблеми програмування
(2016)
Get full text
Article
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
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
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация