[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
NetChain (best paper award-winner at NSDI 2018) includes TLA+ spec
From
: Andrew Helwer <
andrew...@xxxxxxxxx
>
Date
: Mon, 30 Apr 2018 12:16:37 -0700 (PDT)
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
.
Andrew
Prev by Date:
Re: TLATeX
Next by Date:
TLC fails to invalidate temporal invariant
Previous by thread:
How does TLC decide the location to report for an action?
Next by thread:
TLC fails to invalidate temporal invariant
Index(es):
Date
Thread