Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems.

Chris Kcher, Dietrich Kuske

Browse the full FCT paper archive.