search

hengxin / tla-causal-consistency

TLA+ Specification of Variants of Causal Consistency
MIT License
6 stars 0 forks source link

Specs: Sequential Semantics of Read-Write Registers #2

Closed hengxin closed 3 years ago

hengxin commented 3 years ago