Definitions from Wikipedia (Temporal logic of actions)

▸ noun:  a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.


▸ Words similar to temporal logic of actions
▸ Usage examples for temporal logic of actions

▸ Idioms related to temporal logic of actions
▸ Wikipedia articles (New!)
▸ Words that often appear near temporal logic of actions
▸ Rhymes of temporal logic of actions

▸ Invented words related to temporal logic of actions