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