Atif, M. et al. 2022. Formal Analysis of Distributed Shared Memory Algorithms. UMT Artificial Intelligence Review. 2, 2 (Dec. 2022), 22–32. DOI:https://doi.org/10.32350/umtair.22.02.