Reachability in pushdown register automata.

Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos

Published in: J. Comput. Syst. Sci. (2017)

Keyphrases

cellular automata
finite automata
finite state machines
finite state
model checking
tree automata
regular expressions
state space
transitive closure
probabilistic automata
databases
optimal solution
lattice gas
real time
digital libraries
multiresolution