causal-consistency topic
List
causal-consistency repositories
chapar
32
Stars
7
Forks
Watchers
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
cauder
16
Stars
4
Forks
Watchers
A Causal-Consistent Reversible Debugger for Erlang
cauder-core
18
Stars
3
Forks
Watchers
A Causal-Consistent Debugger for (Core) Erlang