Temporal logic of actions
Logic used to describe behaviours of concurrent systems. / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Temporal logic of actions?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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 and distributed systems. It is the logic underlying the specification language TLA+.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (January 2011) |