Atif, M.; Mudassar Naseer; Ahmad Salman Khan. Formal Analysis of Distributed Shared Memory Algorithms. UMT-AIR 2022, 2.