Synthesizing processes and schedulers from temporal specifications

This publication has 12 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• On simultaneously determinizing and complementing omega -automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the synthesis of a reactive module
  Published by Association for Computing Machinery (ACM) ,1989
• Realizable and unrealizable specifications of reactive systems
  Published by Springer Nature ,1989
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• On the synthesis of an asynchronous reactive module
  Published by Springer Nature ,1989
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Reasoning about infinite computation paths
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Automata on Infinite Objects and Church’s Problem
  CBMS Regional Conference Series in Mathematics, 1972
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969