Logic and lattices for distributed programming

SoCC, 2012.

Cited by: 100|Bibtex|Views22|DOI:https://doi.org/10.1145/2391229.2391230
EI
Other Links: dblp.uni-trier.de|dl.acm.org|academic.microsoft.com

Abstract:

In recent years there has been interest in achieving application-level consistency criteria without the latency and availability costs of strongly consistent storage infrastructure. A standard technique is to adopt a vocabulary of commutative operations; this avoids the risk of inconsistency due to message reordering. Another approach was...More

Code:

Data:

Your rating :
0

 

Tags
Comments