FULLFORMDEFINITION
Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.
Your experience on this site will be improved by allowing cookies. Read Cookie Policy