The Safety-Progress Classification

This publication has 18 references indexed in Scilit:

• Verifying temporal properties without temporal logic
  ACM Transactions on Programming Languages and Systems, 1989
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• A classification of ω-regular languages
  Theoretical Computer Science, 1985
• Defining liveness
  Information Processing Letters, 1985
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Temporal logic can be more expressive
  Information and Control, 1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Propositional dynamic logic of looping and converse is elementarily decidable
  Information and Control, 1982
• On ω-regular sets
  Information and Control, 1979
• Decision problems forω-automata
  Theory of Computing Systems, 1969