107
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...