Branching time temporal logic and amorphous tree automata

This publication has 11 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Verification of concurrent programs: the automata-theoretic framework*
  Annals of Pure and Applied Logic, 1991
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Automata on Infinite Objects
  Published by Elsevier ,1990
• On the relation of programs and computations to models of temporal logic
  Published by Springer Nature ,1989
• Automata-theoretic techniques for modal logics of programs
  Journal of Computer and System Sciences, 1986
• Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness
  Journal of the ACM, 1986
• Deciding full branching time logic
  Information and Control, 1984
• Reasoning about infinite computation paths
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977