Fully local and efficient evaluation of alternating fixed points
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Formal methodsACM Computing Surveys, 1996
- Efficient local model-checking for fragments of the modal Μ-calculusPublished by Springer Nature ,1996
- The fixpoint-analysis machinePublished by Springer Nature ,1995
- Model checking and boolean graphsTheoretical Computer Science, 1994
- Incremental model checking in the modal mu-calculusPublished by Springer Nature ,1994
- An improved algorithm for the evaluation of fixpoint expressionsPublished by Springer Nature ,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 Nature ,1989
- Results on the propositional μ-calculusTheoretical Computer Science, 1983