Search Results - S. Fabunmi
- Showing 1 - 3 results of 3
-
1
Equivalence of two parallel execution systems by T. V. Panchenko, S. Fabunmi
Published 2018Get full text
Article -
2
Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.
Published 2018Get full text
Article -
3
Еквівалентність двох систем паралельного виконання by Панченко, Т.В., Fabunmi Sunmade
Published in Проблеми програмування (2018)Get full text
Article
Search Tools:
Related Subjects
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация