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]

Authors

José Enrique Armendáriz-Iñigo

This author has not been identified. Look up 'José Enrique Armendáriz-Iñigo' in Google

José Ramón González de Mendívil

This author has not been identified. Look up 'José Ramón González de Mendívil' in Google

José Ramón Garitagoitia

This author has not been identified. Look up 'José Ramón Garitagoitia' in Google

Francesc D. Muñoz-Escoí

This author has not been identified. Look up 'Francesc D. Muñoz-Escoí' in Google