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