Denis Lugiez Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. 127-140 2009 RP http://dx.doi.org/10.1007/978-3-642-04420-5_13 conf/rp/2009 db/conf/rp/rp2009.html#Lugiez09