On the analysis of interacting pushdown systems.

Vineet Kahlon, Aarti Gupta

Browse the full POPL paper archive.