A saturation method for the modal μ-calculus over pushdown systems

Matthew Hague, C.-H.L. Ong

Research output: Contribution to journal › Article › peer-review

2 Conference contribution

2 results

Filter

2010

Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)
Hague, M. & Ong, C.-H. L., 2010, SPIN.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2009

Winning Regions of Pushdown Parity Games: A Saturation Method
Hague, M. & Ong, C.-H. L., 2009, Concur: Concurrency Theory.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution