Concurrency and automata on infinite sequences
Top Cited Papers
- 22 November 2005
- book chapter
- Published by Springer Nature
- p. 167-183
- https://doi.org/10.1007/bfb0017309
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Decision problems forω-automataTheory of Computing Systems, 1969
- Coverings of AutomataPublished by Elsevier ,1968
- A Procedure for Checking Equality of Regular ExpressionsJournal of the ACM, 1967
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966
- Derivatives of Regular ExpressionsJournal of the ACM, 1964
- Infinite sequences and finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959