[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

NetChain (best paper award-winner at NSDI 2018) includes TLA+ spec

The paper was NetChain: Scale-Free Sub-RTT Coordination; here's the best paper award announcement, and here's the extended paper version with a TLA+ spec at the end. Murat Demirbas wrote some preliminary thoughts on the paper and spec here.