On the reachability problem for 5-dimensional vector addition systems
- 31 December 1979
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 8 (2), 135-159
- https://doi.org/10.1016/0304-3975(79)90041-0
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The decidability of the reachability problem for vector addition systems (Preliminary Version)Published by Association for Computing Machinery (ACM) ,1977
- A partial solution to the reachability-problem for vector-addition systemsPublished by Association for Computing Machinery (ACM) ,1974
- Parallel program schemataJournal of Computer and System Sciences, 1969