Correctness proof of a database replication protocol under the perspective of the I/O automaton model

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

Abstract is missing.