corpus.blog
41,554 blogs · 4,654,352 posts Claim your blog
Record · corpus.blog/posts/01a0d35a-cb44-7311-a470-8cfa5e0f3543

Modeling B-trees in TLA+

Lorin Hochstein · published 5 July 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at surfingcomplexity.blog Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
15
Words captured
3,581

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.databass.dev/
databass.dev
https://en.wikipedia.org/wiki/B-tree
en.wikipedia.org
https://philarchive.org/rec/NGUTSO-2
philarchive.org
https://lamport.azurewebsites.net/tla/tla.html
lamport.azurewebsites.net
https://learntla.com/core/operators.html
learntla.com
https://learntla.com/core/functions.html
learntla.com
https://github.com/lorin/btree-tla/blob/main/kvstore.tla
github.com
https://en.wikipedia.org/wiki/B%2B_tree
en.wikipedia.org
https://learntla.com/topics/tips.html
learntla.com
https://learntla.com/core/invariants.html
learntla.com
https://github.com/lorin/btree-tla/blob/main/btree.tla
github.com
https://hillelwayne.com/post/refinement/
hillelwayne.com
https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus
marketplace.visualstudio.com
https://www.hillelwayne.com/post/fairness/
hillelwayne.com
https://github.com/lorin/btree-tla/
github.com
Elsewhere on surfingcomplexity.blog (3)