"On the analysis of interacting pushdown systems."

Vineet Kahlon, Aarti Gupta (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics