Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. JMMCS [Интернет]. 28 март 2014 г. [цитируется по 14 июль 2026 г.];81(2):38-45. доступно на: https://bm.kaznu.kz/index.php/kaznu/article/view/54