Model Checking for Context-Free Processes.

Olaf Burkart, Bernhard Steffen

Browse the full CONCUR paper archive.