Composition, decomposition and model checking optimal of pushdown processes (1999)

by O Burkart, B Steffen
Venue:Handbook of Process Algebra. Elsevier Science Publisher B.V