Controllers for the Verification of Communicating Multi-pushdown Systems.

C. Aiswarya, Paul Gastin, K. Narayan Kumar

Browse the full CONCUR paper archive.