issues
search
hengxin
/
tla-causal-consistency
TLA+ Specification of Variants of Causal Consistency
MIT License
6
stars
0
forks
source link
Modules
#9
Open
hengxin
opened
3 years ago
hengxin
commented
3 years ago
[x] Separate specs for CC definitions from those for CC checking algorithms