Park, David Concurrency and automata on infinite sequences. (English) Zbl 0457.68049 Theoretical computer science, 5th GI-Conf., Karlsruhe 1981, Lect. Notes Comput. Sci. 104, 167-183 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 143 Documents MSC: 68Q45 Formal languages and automata Keywords:omega-regular languages; recursion equation sets; fixpoint operators Citations:Zbl 0453.00042 PDF BibTeX XML