48 citations · 174 across the 34 of their papers we have counts for
1 paper · 2 filters
M. Hague, C. -H. L. Ong
We present an extension of an algorithm for computing directly the denotation of a mu-calculus formula X over the configuration graph of a pushdown system to allow backwards modali…