Atif, Muhammad, Mudassar Naseer, and 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.