Alireza Souri. 2016. “Formal Specification and Verification of a Data Replication Approach in Distributed Systems”. International Journal of Next-Generation Computing 7 (1):18-37. https://doi.org/10.47164/ijngc.v7i1.102.