issues
search
hengxin
/
tla-causal-consistency
TLA+ Specification of Variants of Causal Consistency
MIT License
6
stars
0
forks
source link
Performance Tuning
#6
Closed
hengxin
closed
3 years ago
hengxin
commented
3 years ago
Specification
[x] To generate possible partial orders satisfying certain conditions instead of enumerating and testing them
[x] to implement the algorithm in refs/
Specification