Login / Signup
Verifying Strong Eventual Consistency in δ-CRDTs.
Taylor Blau
Published in:
CoRR (2020)
Keyphrases
</>
model checking
high level
image processing
multiscale
cost function
probabilistic model