Бектемесов, А. Т., Ахмед-Заки, Д. Ж., & Данаев, Н. Т. (2014). Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. Journal of Mathematics, Mechanics and Computer Science, 81(2), 38–45. Retrieved from https://bm.kaznu.kz/index.php/kaznu/article/view/54