Serializability for eventual consistency: criterion, analysis, and applications.

Lucas Brutschy Dimitar K. Dimitrov Peter Müller Martin T. Vechev

Published in: POPL (2017)

Keyphrases

databases
quantitative analysis
machine learning
image analysis
statistical analysis