“Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory”., JMMCS, vol. 81, no. 2, pp. 38–45, Mar. 2014, Accessed: Jul. 14, 2026. [Online]. Available: https://bm.kaznu.kz/index.php/kaznu/article/view/54