Explore projects
-
A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)
Updated -
Computer Lab / Digital Technology Group / TRVE Data / crdt-isabelle
Apache License 2.0Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)
Updated