Leslie Lamport doesn't say what TLA+ standards for on his personal webpage, and I felt I had to pay him his respects (Real answer: it's something most of us te

Leslie Lamport doesn't say what TLA+ standards for on his personal webpage, and I felt I had to pay him his respects (Real answer: it's something most of us tell you if you ask, but "Temporal logic of actions" makes it sound a lot more intimidating to learn than it actually is)