On the synthesis of an asynchronous reactive module
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 652-671
- https://doi.org/10.1007/bfb0035790
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- The complexity of tree automata and logics of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Deciding full branching time logicInformation and Control, 1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- AlternationJournal of the ACM, 1981
- Substance and first-order quantification over individual-conceptsThe Journal of Symbolic Logic, 1980
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969