Fully local and efficient evaluation of alternating fixed points
- 1 January 1998
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Formal methodsACM Computing Surveys, 1996
- Efficient local model-checking for fragments of the modal Μ-calculusLecture Notes in Computer Science, 1996
- The fixpoint-analysis machineLecture Notes in Computer Science, 1995
- Model checking and boolean graphsTheoretical Computer Science, 1994
- Incremental model checking in the modal mu-calculusLecture Notes in Computer Science, 1994
- An improved algorithm for the evaluation of fixpoint expressionsLecture Notes in Computer Science, 1994
- Local model checking in the modal mu-calculusTheoretical Computer Science, 1991
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- A note on model checking the modal v-calculusPublished by Springer Science and Business Media LLC ,1989
- Results on the propositional μ-calculusTheoretical Computer Science, 1983