Composing and decomposing op-based CRDTs with semidirect products.

Matthew Weidner Heather Miller Christopher Meiklejohn

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

real time
machine learning
image sequences
database
optimal solution
constraint satisfaction
arc consistency
product design
production line
commercial products