Control of Infinite Behavior of Finite Automata
- 1 July 1994
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Control and Optimization
- Vol. 32 (4) , 1075-1097
- https://doi.org/10.1137/s0363012991217536
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Reducibility in analysis of coordinationPublished by Springer Nature ,2006
- Controlling behaviours of systems : Some basic concepts and some applicationsPublished by Springer Nature ,2005
- Temporal and Modal LogicPublished by Elsevier ,1990
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- Automata, tableaux, and temporal logicsPublished by Springer Nature ,1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Fixed point theorems and semantics: a folk taleInformation Processing Letters, 1982
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969