Reduction in TLA

This publication has 7 references indexed in Scilit:

• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• A note of Graham's convex hull algorithm
  Information Processing Letters, 1987
• Defining liveness
  Information Processing Letters, 1985
• Parallel program correctness through refinement
  Published by Association for Computing Machinery (ACM) ,1977
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Reduction
  Communications of the ACM, 1975