ALIREZA SOURI. Formal Specification and Verification of a Data Replication Approach in Distributed Systems. International Journal of Next-Generation Computing, [S. l.], v. 7, n. 1, p. 18–37, 2016. DOI: 10.47164/ijngc.v7i1.102. Disponível em: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/102. Acesso em: 4 may. 2024.