A selection property of the boolean μ-calculus and some of its applications
Arnold, André
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997), p. 371-384 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1997-01-01
@article{ITA_1997__31_4_371_0,
     author = {Arnold, Andr\'e},
     title = {A selection property of the boolean $\mu $-calculus and some of its applications},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {31},
     year = {1997},
     pages = {371-384},
     mrnumber = {1605787},
     zbl = {0936.03030},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1997__31_4_371_0}
}

Arnold, André. A selection property of the boolean $\mu $-calculus and some of its applications. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) pp. 371-384. http://gdmltest.u-ga.fr/item/ITA_1997__31_4_371_0/

1. H. R. Andersen, Model checking and boolean graphs. Theor. Comp. Sci., 1994, 126, pp. 3-30. | MR 1268020 | Zbl 0798.03017

2. A. Arnold, An initial semantics for the μ-calculus on trees and Rabin's complementation lemma. Theor. Comp. Sci., 1995, 148, pp. 121-132. | MR 1347671 | Zbl 0873.68157

3. A. Arnold and P. Crubillé, A linear algorithm to solve fixed-point equations on transition systems. Information Processing Letters, 1988, 29, pp. 57-66. | MR 974202 | Zbl 0663.68075

4. A. Arnold and D. Niwiński, Fixed point characterization of weak monadic logic definable sets of trees. In M. Nivat and A. Podelski, editors, Tree Automata and Languages, 1992, pp. 159-188, Elsevier. | MR 1196736 | Zbl 0794.03054

5. R. Mcnaughton, Infinite games played on finite graphs. Annals of Pure and Applied Logic, 1993, 65, pp. 149-184. | MR 1257468 | Zbl 0798.90151

6. R. S. Streett and E. A. Emerson, An automata theoretic decision procedure for the propositional mu-calculus. Information and Computation, 1989, 81, pp. 249-264. | MR 1000065 | Zbl 0671.03023

7. B. Vergauwen and J. Lewi, A linear algorithm for solving fixed-point equations on transition systems. In J.-C. Raoult, editor, CAAP'92, p. 321-341. Lect. Notes Comput. Sci., 1992, 581. | MR 1252008

8. I. Walukiewicz, Monadic second order logic on tree-like structures. In STACS'96, p. 401-414. Lect. Notes Comput. Sci., 1996, 1046. | MR 1462113

9. W. Zielonka,, Infinite games on finitely coloured graphs with applications to automata on infinite trees. Technical Report 1091-95, LaBRI, Université Bordeaux I, 1995.