Didier Caucal;Roland Monfort
-;-
Local model checking for context-free processes
Nordic Journal of Computing
Composition, decomposition and model checking of pushdown processes