Formal Specification and Verification of a Data Replication Approach in Distributed Systems

Alireza Souri. Formal Specification and Verification of a Data Replication Approach in Distributed Systems. IJNGC, 7(1), 2016. [doi]

Abstract

Abstract is missing.