News for hackers. Stuff that matters.

A comment on Computation and State Machines (2008) [pdf].

Re:Computation and State Machines (2008) [pdf] by threatofrain on Tuesday September 18, 2018 @05:31AM (#18013762)
Is TLA+ is the culmination of Leslie Lamport's approach to describing state machines?

https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...

[ Parent | on HN ]
Re:Computation and State Machines (2008) [pdf] by pron on Tuesday September 18, 2018 @06:18AM (#18013956)
Well, he's worked on it for ~25 years...
[ Parent | on HN ]