José Enrique Armendáriz-Iñigo, José Ramón González de MendÃvil, José Ramón Garitagoitia, Francesc D. Muñoz-EscoÃ. Correctness proof of a database replication protocol under the perspective of the I/O automaton model. Acta Informatica, 46(4):297-330, 2009. [doi]
Abstract is missing.