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