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