TLA (Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems, developed by Leslie Lamport↑.
External links[]
- The TLA Home Page
- Temporal Logic of Actions↑ on Wikipedia↑
- The Temporary Logic of Actions by Leslie Lamport