Public University of Navarre

MyUPNA (Services portal)
LIBRARY
On-line office

ES
EN

Distributed systems

Home > Distributed systems > Doctoral theses

Doctoral theses

Hierarchical Correctness Proof of Deferred-Update Protocols for Database Replication with Crash Failures

Author

Juárez Rodríguez, José Ramón

Publishing date

Jun 16, 2011

Directors

Armendáriz Íñigo, José Enrique
González de Mendívil Moreno, José Ramón

Research lines
Members
Research Projects and Contracts
Publications
Services and Resources
Doctoral theses