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