Данаев, Н. Т., Казахский национальный университет им. аль-Фараби, Алматы, Казахстан, Kazakhstan

• Journal of Mathematics, Mechanics and Computer Science Vol. 81 No. 2 (2014): Journal of Mathematics, Mechanics and Computer Science - Mechanics, Mathematics, Computer Science
  Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory.
  Abstract  PDF