On the reachability problem for 5-dimensional vector addition systems

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations

The mathematical theory of context-free languages

H. P. Edmundson · Information Storage and Retrieval · 1967 · 738 citations

Computing, Computer Science, Mathematics +11

The equality problem for vector addition systems is undecidable

M. Hack · Theoretical Computer Science · 1976 · 120 citations

Computing, Computer Science, Mathematics +8

The decidability of the reachability problem for vector addition systems (Preliminary Version)

George S. Sacerdote, Richard L. Tenney · 1977 · 72 citations

Computing, Computer Science, Mathematics +7

A partial solution to the reachability-problem for vector-addition systems

Jan Van Leeuwen · 1974 · 47 citations · Full text

Computing, Computer Science, Mathematics +13