Temporal Logic Of Actions
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.
Famous quotes containing the words temporal, logic and/or actions:
“Listen to any musical phrase or rhythm, and grasp it as a whole, and you thereupon have present in you the image, so to speak, of the divine knowledge of the temporal order.”
—Josiah Royce (1855–1916)
“The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
—Eva Figes (b. 1932)
“I judge a man by his actions with men, much more than by his declarations Godwards—When I find him to be envious, carping, spiteful, hating the successes of others, and complaining that the world has never done enough for him, I am apt to doubt whether his humility before God will atone for his want of manliness.”
—Anthony Trollope (1815–1882)