Pushdown processes: Parallel composition and model checking (1994)

by O Burkart, B Steffen
Venue:In CONCUR ’94: Proc. 5th Int. Conf. on Concurrency Theory. LNCS Series