“Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory”. (2014) Journal of Mathematics Mechanics and Computer Science, 81(2), pp. 38–45. Available at: https://bm.kaznu.kz/index.php/kaznu/article/view/54 (Accessed: 14 July 2026).