watch 01:25
Jurassic World: Dominion Dominates Fandom Wikis - The Loop
Do you like this video?
Play Sound
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