Pushdown processes: Games and model checking
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Model checking for context-free processesPublished by Springer Nature ,2006
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Monadic second order logic on tree-like structuresPublished by Springer Nature ,1996
- On the model checking problem for branching time logics and basic parallel processesPublished by Springer Nature ,1995
- On polynomial-size programs winning finite-state gamesPublished by Springer Nature ,1995
- On the synthesis of strategies in infinite gamesPublished by Springer Nature ,1995
- An improved algorithm for the evaluation of fixpoint expressionsPublished by Springer Nature ,1994
- An automata theoretic decision procedure for the propositional mu-calculusInformation and Computation, 1989
- The theory of ends, pushdown automata, and second-order logicTheoretical Computer Science, 1985
- AlternationJournal of the ACM, 1981