21 citations · 49 across the 5 of their papers we have counts for
1 paper · 2 filters
Kshitij Bansal, Stéphane Demri
In this note, we provide complexity characterizations of model checking multi-pushdown systems. Multi-pushdown systems model recursive concurrent programs in which any sequential p…