Бектемесов АТ, Ахмед-Заки ДЖ, Данаев НТ. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. JMMCS [Internet]. 2014 Mar. 28 [cited 2025 Jan. 5];81(2):38-45. Available from: https://bm.kaznu.kz/index.php/kaznu/article/view/54