Mohamed Faouzi Atig Ahmed Bouajjani On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. 1-2 2009 RP http://dx.doi.org/10.1007/978-3-642-04420-5_1 conf/rp/2009 db/conf/rp/rp2009.html#AtigB09