Reachability Problem for Weak Multi-Pushdown Automata.

Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota

Browse the full CONCUR paper archive.