Reachability Problem for Weak Multi-Pushdown Automata.

Wojciech Czerwinski Piotr Hofman Slawomir Lasota

Published in: CONCUR (2012)

Keyphrases

state space
cellular automata
model checking
regular expressions
finite state machines
transitive closure
search algorithm
finite state
finite automata