Данаев, Н. Т., Казахский национальный университет им. аль-Фараби, Алматы, Казахстан, Kazakhstan
-
Қазұу Хабаршысы. Математика, механика, информатика сериясы Том 81 № 2 (2014): Journal of Mathematics, Mechanics and Computer Science - Механика, Математика, Информатика
Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory.
Аннотация PDF