A More Complete TLA

  title={A More Complete TLA},
  author={Stephan Merz},
  booktitle={World Congress on Formal Methods},
This paper defines a generalization of Lamport’s Temporal Logic of Actions. We prove that our logic is stuttering-invariant and give an axiomatization of its propositional fragment. We also show that standard TLA is as expressive as our extension once quantification over flexible propositions is added. 

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 18 references

What Good is Temporal Logic?

IFIP Congress • 1983
View 11 Excerpts
Highly Influenced

The Temporal Logic of Actions

ACM Trans. Program. Lang. Syst. • 1994
View 4 Excerpts
Highly Influenced

A more complete TLA. Technical Report, Institut für Informatik, Universität München

Stephan Merz
Available on the WWW at URL http://www.pst.informatik.uni-muenchen. de/ ̃merz/papers/gtla.html, • 1999
View 3 Excerpts

Isabelle/TLA. Available on the WWW at URL http://www.pst.informatik

Stephan Merz
uni-muenchen.de/ ̃merz/isabelle/, • 1997
View 1 Excerpt

On TLA as a logic

View 1 Excerpt

Conjoining Specifications

ACM Trans. Program. Lang. Syst. • 1995
View 2 Excerpts

Similar Papers

Loading similar papers…