Atif, Muhammad, Mudassar Naseer, and Ahmad Salman Khan. “Formal Analysis of Distributed Shared Memory Algorithms”. UMT Artificial Intelligence Review 2, no. 2 (December 25, 2022). Accessed November 23, 2024. https://journals.umt.edu.pk/index.php/UMT-AIR/article/view/3543.