A more complete TLA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1226-1244

  Merz, Stephan ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL METHODS;

AXIOMATIZATION; TEMPORAL LOGIC OF ACTIONS;

COMPUTER CIRCUITS;

EID: 22844453671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_15     Document Type: Conference Paper

References (18)

1. Martín Abadi. An axiomatization of Lamport's Temporal Logic of Actions. In Jos C. M. Baeten and Jan W. Klop, editors, CONCUR '90, Theories of Concurrency: Unification and Extension, volume 458 of Lecture Notes in Computer Science, pages 57-69, Berlin, 1990. Springer-Verlag. A revised version is available on the Web at http://www.research.digital.com/SRC/personal/Martin_Abadi/allpapers.html.
2. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 81(2):253-284, May 1991.
3. Martin Abadi and Leslie Lamport. An old-fashioned recipe for real time. Research Report 91, Digital Equipment Corporation, Systems Research Center, 1992. An earlier version, without proofs, appeared in [7, pages 1-27].
4. Martin Abadi and Leslie Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507-534, May 1995.
5. Martin Abadi and Stephan Merz. An abstract account of composition. In JiriWiedermann and Petr Hajek, editors, Mathematical Foundations of Computer Science, volume 969 of Lecture Notes in Computer Science, pages 499-508, Berlin, 1995. Springer-Verlag.
6. Martin Abadi and Stephan Merz. On TLA as a logic. In Manfred Broy, editor, Deductive Program Design, NATO ASI series F, pages 235-272. Springer-Verlag, Berlin, 1996.
7. J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1992. Proceedings of a REX Real-Time Workshop, held in The Netherlands in June, 1991.
8. Dov Gabbay, Amir Pnueli, S. Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 163-173. ACM, 1980.
9. Fred Kroger. Temporal Logic of Programs, volume 8 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1987.
10. Leslie Lamport. What good is temporal logic? In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 657-668, Paris, September 1983. IFIP, North-Holland.
11. Leslie Lamport. Hybrid systems in TLA+. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 77-102. Springer-Verlag, 1993.
12. Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
13. Leslie Lamport. Refinement in state-based formalisms. Technical Note 1996-001, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, December 1996.
14. Stephan Merz. A more complete TLA. Technical Report, Institut für Informatik, Univer-sitat München. Available on the WWW at URL http://www.pst.informatik.uni-muenchen. de/~merz/papers/gtla.html, 1999.
15. Stephan Merz. Isabelle/TLA. Available on the WWW at URL http://www.pst.informatik. uni-muenchen.de/~merz/isabelle/, 1997. Revised 1999.
16. Abdelillah Mokkedem and Dominique Mery. A stuttering closed temporal logic for modular reasoning about concurrent programs. In Temporal Logic (ICTL '94), volume 827 of Lecture Notes in Computer Science, pages 382-397, Bonn, 1994. Springer-Verlag.
17. Amir Pnueli. System specification and refinement in temporal logic. In R.K. Shyamasun-dar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science, pages 1-38. Springer-Verlag, 1992.
18. Alexander Rabinovich. Expressive completeness of temporal logic of action. In L. Brim, J. Gruska, and J. Zlatuska, editors, Mathematical Foundations of Computer Science, volume 1450 of Lecture Notes in Computer Science, Brno, Czech Republic, August 1998. Springer-Verlag.