Reachability is decidable for weakly extended process rewrite systems.

Published in: Inf. Comput. (2009)

Keyphrases