Real-time and the Mu-Calculus (preliminary report)

This publication has 33 references indexed in Scilit:

• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• Basic Tense Logic
  1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Alternation
  Journal of the ACM, 1981
• Characterizing correctness properties of parallel programs using fixpoints
  1980