https://www.microsoft.com/en-us/research/publication/the-temporal-logic-of-actions/
The Temporal Logic of Actions - Microsoft Research
Apr 20, 2023 - This paper introduces TLA, which I now believe is the best general formalism for describing and reasoning about concurrent systems. The new idea in TLA is that...
temporal logic of actionsmicrosoftresearch