# Murat Demirbas - TLA+ Mental Models (Highlights) ![rw-book-cover|256](https://blogger.googleusercontent.com/img/a/AVvXsEjacRyGvPRyspuFGq8RTS_vVKq27l95eE8_GUwjscUSY-xiYcULY4PAM2X99gOYAQA2dX5QjKH8FxTvMogG2OFrRS_uZChJTl8HRMA2dlpTYR_3jVMeojY6HGVFGnv8uXBCjTVxciJZ41kXwAQu4lUS2bCEzQP19qHyTog-OMqoiC9WWqOBduF8q7q13X4=s72-c) ## Metadata **Review**:: [readwise.io](https://readwise.io/bookreview/59282349) **Source**:: #from/readwise #from/reader **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[Murat Demirbas]] **Full Title**:: TLA+ Mental Models **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **URL**:: [muratbuffalo.blogspot.com](http://muratbuffalo.blogspot.com/2026/03/tla-mental-models.html) **Host**:: [[muratbuffalo.blogspot.com]] **Highlighted**:: [[2026-03-26]] **Created**:: [[2026-03-30]] ## Highlights - Log is a common abstraction for State Machine Replication (SMR), which is itself a common abstraction for databases and data stores. ([View Highlight](https://read.readwise.io/read/01kmm3dpz7ak4wh7q3a9teb3m2)) ^1000369142