Infinitary languages: Basic theory and applications to concurrent systems
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 266-342
- https://doi.org/10.1007/bfb0027043
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Adherences of D0L languagesTheoretical Computer Science, 1984
- Relations rationnelles infinitairesCalcolo, 1984
- Bilimites de langages reconnaissablesTheoretical Computer Science, 1984
- On infinite words obtained by iterating morphismsTheoretical Computer Science, 1982
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Decision problems forω-automataTheory of Computing Systems, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Recurrent geodesics on a surface of negative curvatureTransactions of the American Mathematical Society, 1921