Correctness criteria for replicated database systems with snapshot isolation replicas | Publicación