Результати пошуку - "concurrent program"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- IPCL 3
- composition-nominative languages 3
- concurrent program 3
- formal verification 3
- interleaving 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- формальна верифікація 3
- формальная верификация 3
- UDC 004.415.52 2
- safety property proof 2
- software correctness 2
- УДК 004.415.52 2
- доказательство частичной корректности 2
- коректність програмного забезпечення 2
- корректность программного обеспечения 2
- паралельна програма 2
- 681.3 1
- Peterson’s algorithm 1
- UDC 004.415 1
- invariant 1
- liveness property 1
- mutual exclusion 1
- software total correctness 1
- УДК 004.415 1
- алгоритм Петерсона 1
- алгоритм Пітерсона 1
- взаимное исключение 1
- взаємне виключення 1
-
1
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
2
Equivalence of two parallel execution systems
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
3
Peterson’s algorithm Total correctness proof in IPCL
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття