Pushdown Processes: Parallel Composition and Model Checking.

Olaf Burkart, Bernhard Steffen

Browse the full CONCUR paper archive.