Geeks
lorin
/
tla-linearizability
Reading the linearizability paper with TLA+
Primary Language
TLA
Apache License 2.0
Apache-2.0
tla-linearizability GitHub
Markdown
Readme
1
Issue
47
Stargazers
2
Watchers
Issues
Closed issue
Question on intent, deliverable in this REPO
#1 opened
2 years ago
by
gshanemiller
1