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