Atif, M., Mudassar Naseer and Ahmad Salman Khan (2022) “Formal Analysis of Distributed Shared Memory Algorithms”, UMT Artificial Intelligence Review, 2(2), pp. 22-32. doi: 10.32350/umtair.22.02.