MSO Decidability of Multi-Pushdown Systems via Split-Width.

Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Browse the full CONCUR paper archive.