A formal analysis of database replication protocols with SI replicas and crash failures

José Ramón González de Mendívil, José Enrique Armendáriz-Iñigo, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí. A formal analysis of database replication protocols with SI replicas and crash failures. The Journal of Supercomputing, 50(2):121-161, 2009. [doi]

Authors

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é Enrique Armendáriz-Iñigo

This author has not been identified. Look up 'José Enrique Armendáriz-Iñigo' 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