Atif, Muhammad, et al. “Formal Analysis of Distributed Shared Memory Algorithms”. UMT Artificial Intelligence Review, vol. 2, no. 2, Dec. 2022, pp. 22-32, doi:10.32350/umtair.22.02.