A denotational view of replicated data types
“Weak consistency” refers to a family of properties concerning the state of a distributed system. One of the key issues in their description is the way in which systems are specified. In this regard, a major advance is represented by the introduction of Replicated Data Types (rdts), in which the mea...
Guardado en:
Autores principales: | Gadducci, F., Melgratti, H., Roldán, C., Jacquet J.-M., Massink M. |
---|---|
Formato: | SER |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v10319LNCS_n_p138_Gadducci |
Aporte de: |
Ejemplares similares
-
A denotational view of replicated data types
Publicado: (2017) -
On the semantics and implementation of replicated data types
por: Gadducci, F., et al. -
On the semantics and implementation of replicated data types
Publicado: (2018) -
Timed consistency: unifying model of consistency protocols in distributed systems
por: Torres-Rojas, Francisco J., et al.
Publicado: (2004) -
A formal analysis of the global sequence protocol
por: Melgratti, H., et al.