Well-Structured Pushdown Systems.

Xiaojuan Cai, Mizuhito Ogawa

Browse the full CONCUR paper archive.