2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…