The Temporal Logic of Actions

@article{Lamport1994TheTL,
  title={The Temporal Logic of Actions},
  author={Leslie Lamport},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1994},
  volume={16},
  pages={872-923}
}
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication. TLA is very simple; its syntax and complete formal semantics are summarized in about a page. Yet, TLA is not just a logician's toy; it is extremely powerful, both in principle and in… CONTINUE READING
Highly Influential
This paper has highly influenced 238 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 2,066 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

2,066 Citations

050100'92'97'03'09'15
Citations per Year
Semantic Scholar estimates that this publication has 2,066 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…