Temporal Logic of Actions
Jump to navigation
Jump to search
A Temporal Logic of Actions is a action logic that ...
- See: TLA+, Temporal Logic, Logic of Action.
References
2018
- (Wikipedia, 2018) ⇒ https://en.wikipedia.org/wiki/Temporal_logic_of_actions Retrieved:2018-1-2.
- 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.
- Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.