A framework for the synthesis of reactive modules

This publication has 17 references indexed in Scilit:

• 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
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• The emptiness problem for automata on infinite trees
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1972
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969
• Decision problems of finite automata design and related arithmetics
  Transactions of the American Mathematical Society, 1961