Панченко, Т.В.; Fabunmi Sunmade
(Проблеми програмування, 2018)
Досліджується метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять. У роботі розглянуто дві системи паралельного ...