Correctness Proof of a Database Replication Protocol under the Perspective of the I/O Automaton Model

Autores

   Armendáriz-Iñigo, J.E.; González de Mendívil, J.R.; Garitagoitia, J.R.; Muñoz-Escoí, F.D.

Revista

   Acta informatica
   Volumen 46
   Número 4
   Páginas 297 a 330
   Año 2009

Volver