Journal of Computing and Information Technology

Wen, Tangliu, School of Information Engineering, Gannan University of Science and Technology, Ganzhou, China

• Vol 33, No 4 (2025) - Regular Papers
  Specifying Relaxed Concurrent Data Structures Using NADTs
  Abstract  PDF