Бектемесов, А. Т., Ахмед-Заки, Д. Ж. and Данаев, Н. Т. (2014) “ Simulation and verication distributed programs using transactional memory”., 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: 5 January 2025).