A formal analysis of the global sequence protocol

The Global Sequence Protocol (GSP) is an operational model for replicated data stores, in which updates propagate asynchronously. We introduce the GSP-calculus as a formal model for GSP. We give a formal account for its proposed implementation, which addresses communication failures and compact repr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Melgratti, H., Roldán, C., Lafuente A.L., Proenca J.
Formato: SER
Materias:
Computational linguistics
Distributed computer systems
Formal methods
Communication failure
Compact representation
Execution history
Formal analysis
Operational model
Replicated data
Sequence protocols
Strong consistency
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v9686_n_p175_Melgratti
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares