Synthesis of Reactive(1) designs
- 31 May 2012
- journal article
- research article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 78 (3), 911-938
- https://doi.org/10.1016/j.jcss.2011.08.007
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Specify, Compile, Run: Hardware from PSLElectronic Notes in Theoretical Computer Science, 2007
- Bridging the gap between fair simulation and trace inclusionInformation and Computation, 2005
- Deterministic generators and games for Ltl fragmentsACM Transactions on Computational Logic, 2004
- Preserving liveness: Comments on “safety and liveness from a methodological point of view”Information Processing Letters, 1991
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Safety and liveness from a methodological point of viewInformation Processing Letters, 1990
- In Transition From Global to Modular Temporal Reasoning about ProgramsPublished by Springer Science and Business Media LLC ,1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969