The Theory of Reachability of Trace-Pushdown Systems.

Dietrich Kuske

Browse the full CiE paper archive.