Synthesizing processes and schedulers from temporal specifications
- 14 June 2005
- book chapter
- Published by Springer Nature
- p. 272-281
- https://doi.org/10.1007/bfb0023741
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- On simultaneously determinizing and complementing omega -automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989
- Realizable and unrealizable specifications of reactive systemsLecture Notes in Computer Science, 1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- On the synthesis of an asynchronous reactive moduleLecture Notes in Computer Science, 1989
- The complexity of tree automata and logics of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Reasoning about infinite computation pathsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Automata on Infinite Objects and Church’s ProblemCBMS Regional Conference Series in Mathematics, 1972
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969