/pve

Predecessor vectors with exceptions for Erlang.

Primary LanguageErlang

Concise Version Vectors

or, Predecessor Vectors (with, and without exceptions)

Details

An implementation of the ideas in Concise Version Vectors in WinFS by Dahlia Malkhi and Douglas B. Terry. (DISC 05)

Repository contains:

  • KVS implementation for exploring ideas related to paper.
  • EQC test for KVS.
  • Implementations of predecessor vectors and predecessor vectors with exceptions.