Record · corpus.blog/posts/01a0d359-bc0c-7066-a2b8-2775484681e0

Specifying serializability in TLA+

Lorin Hochstein · published 29 October 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
Links from this post: 59
Words captured: 2,775

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://lamport.azurewebsites.net/pubs/pubs.html

lamport.azurewebsites.net

https://jepsen.io/consistency/models/serializable

jepsen.io

https://github.com/lorin/snapshot-isolation-tla

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-11.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-15.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-16.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-40.png

surfingcomplexity.blog

http://web.cecs.pdx.edu/~len/sql1999.pdf

web.cecs.pdx.edu

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-19.png

surfingcomplexity.blog

https://www.linkedin.com/in/atuladya/

linkedin.com

http://pmg.csail.mit.edu/papers/adya-phd.pdf

pmg.csail.mit.edu

https://pmg.csail.mit.edu/~liskov/

pmg.csail.mit.edu

https://www.cs.umb.edu/~poneil/lsmtree.pdf

cs.umb.edu

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-95-51.pdf

microsoft.com

https://nacrooks.github.io/

nacrooks.github.io

https://www.cs.cornell.edu/~youerpu/

cs.cornell.edu

https://www.cs.cornell.edu/lorenzo/

cs.cornell.edu

https://www.cs.utexas.edu/lasr/profile.php?uid=4

cs.utexas.edu

https://apps.cs.utexas.edu/apps/sites/default/files/tech_reports/paper_extendedtr.pdf

apps.cs.utexas.edu

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-41.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-24.png

surfingcomplexity.blog

https://jepsen.io/consistency/models/strict-serializable

jepsen.io

https://github.com/lorin/snapshot-isolation-tla/blob/main/Serializability.tla

github.com

https://github.com/lorin/snapshot-isolation-tla/blob/main/Serializability.pdf

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-57.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-58.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-56.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-26.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-17.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-37.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-29.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-30.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-31.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-38.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-39.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-27.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-49.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-28.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-33.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-43.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-45.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-46.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-47.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-48.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-50.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-51.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-52.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-53.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-54.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-55.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-34.png

surfingcomplexity.blog

https://github.com/lorin/snapshot-isolation-tla/blob/main/Sequential.tla

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-14.png

surfingcomplexity.blog

https://github.com/lorin/snapshot-isolation-tla/blob/main/SerializabilityRefinement.tla

github.com

https://github.com/lorin/snapshot-isolation-tla/blob/main/SerializabilityRefinement.pdf

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-35.png

surfingcomplexity.blog

https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-36.png

surfingcomplexity.blog

https://github.com/lorin/snapshot-isolation-tla/blob/main/MCSequential.tla

github.com

https://github.com/lorin/snapshot-isolation-tla/blob/main/MCSequential.pdf

github.com