A formal characterization of SI-based ROWA replication protocols | Publicación