Atif M, Mudassar Naseer, Ahmad Salman Khan. Formal Analysis of Distributed Shared Memory Algorithms. UMT-AIR [Internet]. 2022 Dec. 25 [cited 2026 Jun. 9];2(2):22-3. Available from: https://journals.umt.edu.pk/index.php/UMT-AIR/article/view/3543