M. Atif, Mudassar Naseer, and Ahmad Salman Khan, “Formal Analysis of Distributed Shared Memory Algorithms”, UMT-AIR, vol. 2, no. 2, Dec. 2022.