135
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...