A formal analysis of database replication protocols with SI replicas and crash failures
Authors
González de Mendívil, J.R.; Armendáriz Iñigo, J.E.; Garitagoitia, J.R.; Muñoz Escoí, F.D.
Journal
The Journal of Supercomputing
Volume 0
Pages 1 to 41
Year 2009
Return