Data Multi-Pushdown Automata.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Browse the full CONCUR paper archive.