# 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) ## 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