3 ms·
Ah, the HN's favourite language Three Letter Acronym + I ctrl+f'd the page and the expansion of that acronym, Temporal Logic of Actions is nowhere to be found.
by RicoElectrico 4y ago
Ah, the HN's favourite language Three Letter Acronym +
I ctrl+f'd the page and the expansion of that acronym, Temporal Logic of Actions is nowhere to be found.
- hwayne 4y agoLeslie 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)
- rzzzt 4y agoThe Glossary has it! I was also wondering how long it can go without ever resolving the meaning of each letter.