ATIF, M.; MUDASSAR NASEER; AHMAD SALMAN KHAN. Formal Analysis of Distributed Shared Memory Algorithms. UMT Artificial Intelligence Review, v. 2, n. 2, 25 Dec. 2022.