The Specification Language TLA+

This publication has 29 references indexed in Scilit:

• Invariance under stuttering in a temporal logic of actions
  Theoretical Computer Science, 2006
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• Avoiding the undefined by underspecification
  1995
• How to write a long formula
  Formal Aspects of Computing, 1994
• An old-fashioned recipe for real time
  ACM Transactions on Programming Languages and Systems, 1994
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• A logical view of composition
  Theoretical Computer Science, 1993
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Defining liveness
  Information Processing Letters, 1985
• Can message buffers be axiomatized in linear temporal logic?
  Information and Control, 1984