Every Computer System is a State Machine – TLA+ series (1)
This is the first post of a series of posts I plan to make about TLA+. This entire series is based on Lamport's TLA+ tutorial. What is a computer First, let's take a look at a very philosophical question -- "what is a computer?". I am writing this post on…