Forward Analysis of Dynamic Network of Pushdown Systems is Easier without Order

Denis Lugiez. Forward Analysis of Dynamic Network of Pushdown Systems is Easier without Order. Int. J. Found. Comput. Sci., 22(4):843-862, 2011. [doi]

Abstract

Abstract is missing.