On the synthesis of an asynchronous reactive module

This publication has 24 references indexed in Scilit:

• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Deciding full branching time logic
  Information and Control, 1984
• Now you may compose temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Alternation
  Journal of the ACM, 1981
• Substance and first-order quantification over individual-concepts
  The Journal of Symbolic Logic, 1980
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969