ATIF, Muhammad; MUDASSAR NASEER; AHMAD SALMAN KHAN. Formal Analysis of Distributed Shared Memory Algorithms. UMT Artificial Intelligence Review, [S. l.], v. 2, n. 2, p. 22–32, 2022. DOI: 10.32350/umtair.22.02. Disponível em: https://journals.umt.edu.pk/index.php/UMT-AIR/article/view/3543. Acesso em: 7 jun. 2026.