Is TLA+ is the culmination of Leslie Lamport's approach to describing state machines? https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0

Is TLA+ is the culmination of Leslie Lamport's approach to describing state machines? https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...