Mohamed Faouzi Atig, Ahmed Bouajjani. On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. 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 1-2, Springer, 2009. [doi]
Abstract is missing.