Atif, M., Mudassar Naseer, & Ahmad Salman Khan. (2022). Formal Analysis of Distributed Shared Memory Algorithms. UMT Artificial Intelligence Review, 2(2). https://doi.org/10.32350/umtair.22.02