On the Reachability Analysis of Acyclic Networks of Pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili

Browse the full CONCUR paper archive.