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]

Possibly Related Publications

The following publications are possibly variants of this publication: