Is TLA+ is the culmination of Leslie Lamport's approach to describing state machines?<p><a href="https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD" rel="nofollow">https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...</a>
For HNers who use citation tools, a relevant RIS item for this may be as follows (sorry, had to edit to try to get it to format reasonably)<p><pre><code> TY - MANSCPT
TI - Computation and State Machines
AU - Lamport, Leslie
AB - I have long thought that computer science is about concepts, not languages. On a visit to the University of Lugano in 2006, the question arose of what that implied about how computer science should be taught. This is a first, tentative attempt at an answer.
DA - 2008/04//
PY - 2008
UR - https://www.microsoft.com/en-us/research/publication/computation-state-machines/
ER -</code></pre>
Didn't get it. State machines are the very first basics of any degree in computer science. You learn that such models are the basis for any computation. You also learn that no one uses such formalizations in practice because they are way too complex.