The equality problem for vector addition systems is undecidable
- 30 June 1976
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 2 (1), 77-95
- https://doi.org/10.1016/0304-3975(76)90008-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Reachability Problems in Vector Addition SystemsThe American Mathematical Monthly, 1973
- Parallel program schemataJournal of Computer and System Sciences, 1969