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