140
click to vote
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.