Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations.

Salvatore La Torre, Margherita Napoli

Browse the full CONCUR paper archive.