corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Record · corpus.blog/posts/01a0bba0-035f-7047-a6df-60eb6c78e1c8

TLA+ as a Design Accelerator: Lessons from the Industry

Murat Demirbas · published 10 March 2026

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 muratbuffalo.blogspot.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
13
Words captured
2,954

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://foundation.tlapl.us/industry/index.html
foundation.tlapl.us
https://arxiv.org/pdf/1703.08905
arxiv.org
https://blogger.googleusercontent.com/img/a/AVvXsEhNMAzdcdqLWgrtO2fcqOdzk6gyx0imuG-O1y6P3RZUi8NmCEJcC6aVBWvDpZVsRXLed2dWljFPcFbf9Fn_xXxZwY5URf6gRirYPvoL6RAbhLcELk2OiTZ7HcyKlHaFegyhCu5Ha-DsT4JTlE7YBPrKiB2Ls5ivbqtESKlW2FyvbdiUaquSuqJT66DsQPM
blogger.googleusercontent.com
https://github.com/ailidani/paxi/blob/master/tla/wpaxos.tla
github.com
https://github.com/Azure/azure-cosmos-tla
github.com
https://blogger.googleusercontent.com/img/a/AVvXsEifrTsv4eFtKZnSvX9Pw9eE8bKGMzPeFuexrum1toWjQ7yH8wh5blU-M-Dji3DWn7cvvPeWBwzsctaIPlf2-sozALrfT5zbYseDPaJtQaGb4ASXKNV4PnN_YphjEd_HjuD5ESdJv7rfEHLKY8LViuNVff9d7jdPZ_BYxys7Dbiw_64jPfP8L-f4q5yAx9s
blogger.googleusercontent.com
DSQL Vignette: Wait! Isn't That Impossible? Read at the source ↗
brooker.co.za
https://www.linkedin.com/in/chuck-carman/
linkedin.com
https://patents.justia.com/patent/20250298784
patents.justia.com
https://www.vldb.org/pvldb/vol18/p5045-schultz.pdf
vldb.org
https://www.usenix.org/conference/nsdi21/presentation/zhou
usenix.org
https://dl.acm.org/doi/10.14778/3397230.3397233
dl.acm.org
https://github.com/muratdem/MDBTLA/tree/main/MultiShardTxn
github.com
Elsewhere on muratbuffalo.blogspot.com (6)