Niwiński, Damian Fixed point characterization of infinite behavior of finite-state systems. (English) Zbl 0893.68102 Theor. Comput. Sci. 189, No. 1-2, 1-69 (1997). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Niwiński}, Theor. Comput. Sci. 189, No. 1--2, 1--69 (1997; Zbl 0893.68102) Full Text: DOI
Niwiński, Damian; Walukiewicz, Igor Games for the \(\mu\)-calculus. (English) Zbl 0872.03017 Theor. Comput. Sci. 163, No. 1-2, 99-116 (1996). MSC: 03B70 03B45 68Q60 91A05 PDFBibTeX XMLCite \textit{D. Niwiński} and \textit{I. Walukiewicz}, Theor. Comput. Sci. 163, No. 1--2, 99--116 (1996; Zbl 0872.03017) Full Text: DOI