Denis Lugiez. Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 127-140, Springer, 2009. [doi]
Abstract is missing.